Пошук академічних текстів

Інформація × Реєстраційний номер 0406U005271, Кандидатська дисертація На здобуття к.т.н. Дата захисту 18-12-2006 Статус Запланована Назва роботи Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби Здобувач Амонс Олександр Анатолійович, Керівник Теленик С.Ф. Опонент Кузьмук В.В. Опонент Буй Д.Б. Опис Дисертаційна робота присвячена розв'язанню проблеми розробки моделей, методів і засобів автоматизованого виробництва об'єктно-орієнтованого ПЗ із застосуванням прогресивних інформаційних технологій, досвіду автоматизації керування та проектування, досягнень комп'ютерних наук. В дисертації розроблено та досліджено математичну модель на базі систем алгоритмічних алгебр (САА-схем) Глушкова, яка дозволяє формально визначати алгоритми із явним застосуванням даних у вигляді класів та об'єктів, запропоновано об'єктну мову САА-схем/о для задання алгоритмів та структур даних. Запропоновано матричний метод виведення для клаузальних логік, який відрізняється від відомих методів використанням операцій над числовими матрицями до отримання сформульованого в термінах матриць критерію суперечливості множини клауз. Розроблена технологія проектування програмних систем на базі багаторівневого підходу з використанням мови UML та об'єктно-орієнтованої мови програмування в термінах САА-схем/о з подальшою генерацією програмного коду на вибраній користувачем цільовій мові програмування. В якості інструментальних засобів технології виступає платформа швидкої розробки застосувань SmartBase. Дата реєстрації 2006-12-18 Додано в НРАТ 2020-04-04 Закрити