Верещагін І.І. Автоматизований синтез і моделі гнучких комп'ютерних професійних тренажерів широкого призначення. - Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - автоматизовані системи управління та прогресивні інформаційні технології. - Міжнародний науково-навчальний центр інформаційних технологій та систем НАН України і Міносвіти і науки України, Київ, 2007. У дисертації на основі системного підходу, Віденського методу розробки і мови цього методу VDM-SL, застосованого для викладу денотаційної семантики перспективних програмних комплексів гнучких тренажерів, а також методу об'єктно-орієнтованого програмування за допомогою мови C++ отримані наступні наукові результати. Уперше розроблена модель індивідуальних гнучких комп'ютерних професійних тренажерів широкого призначення для прищеплювання умінь і навичок прийняття оперативних управлінських рішень у складних ситуаціях суспільної практики. Уперше розроблена денотаційна модель автоматизованого рішення тим, кого навчають, задач таких тренажерів, синтезованих в інструментальному середовищі їхньої візуальної розробки. Одержала подальший розвиток методика натурного макетування на комп'ютері денотаційних моделей, побудованих за допомогою мови VDM-SL Віденського методу розробки. Ключові слова: тренажер, тренувальна програма, програмний тренажер, комп'ютерний тренажер, комп'ютерна ділова гра, Віденський метод розробки, денотаційна семантика, Vienna Development Method, VDM, VDM-SL.