На основі системного підходу, Віденського методу розробки і мови даного методу VDM-SL, який застосовується для викладу денотаційної семантики перспективних програмних комплексів гнучких тренажерів, а також методу об'єктно-орієнтованого програмування мовою С++ висвітлено наукові результати. Розроблено модель індивідуальних гнучких комп'ютерних професійних тренажерів для навичок прийняття оперативних управлінських рішень. Описано денотаційну модель автоматизованого рішення задач даних тренажерів, синтезованих в інструментальному середовищі їх візуальної розробки. Викладено методику натурного макетування на комп'ютері денотаційних моделей зазначеного методу.

  Скачати повний текст