Амонс О. А. Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби

Дисертаційна робота присвячена розв'язанню проблеми розробки моделей, методів і засобів автоматизованого виробництва об'єктно-орієнтованого ПЗ із застосуванням прогресивних інформаційних технологій, досвіду автоматизації керування та проектування, досягнень комп'ютерних наук. В дисертації розроблено та досліджено математичну модель на базі систем алгоритмічних алгебр (САА-схем) Глушкова, яка дозволяє формально визначати алгоритми із явним застосуванням даних у вигляді класів та об'єктів, запропоновано об'єктну мову САА-схем/о для задання алгоритмів та структур даних. Запропоновано матричний метод виведення для клаузальних логік, який відрізняється від відомих методів використанням операцій над числовими матрицями до отримання сформульованого в термінах матриць критерію суперечливості множини клауз. Розроблена технологія проектування програмних систем на базі багаторівневого підходу з використанням мови UML та об'єктно-орієнтованої мови програмування в термінах САА-схем/о з подальшою генерацією програмного коду на вибраній користувачем цільовій мові програмування. В якості інструментальних засобів технології виступає платформа швидкої розробки застосувань SmartBase.