Search academic texts

Information × Registration Number 0406U005271, Candidate dissertation Status к.т.н. Date 18-12-2006 popup.evolution o Title Adaptive technology for computer-aided software development: models, algorithms and means Author Amons Olexandr Anatolievich, popup.head Telenik S.F. popup.opponent Кузьмук В.В. popup.opponent Буй Д.Б. Description Дисертаційна робота присвячена розв'язанню проблеми розробки моделей, методів і засобів автоматизованого виробництва об'єктно-орієнтованого ПЗ із застосуванням прогресивних інформаційних технологій, досвіду автоматизації керування та проектування, досягнень комп'ютерних наук. В дисертації розроблено та досліджено математичну модель на базі систем алгоритмічних алгебр (САА-схем) Глушкова, яка дозволяє формально визначати алгоритми із явним застосуванням даних у вигляді класів та об'єктів, запропоновано об'єктну мову САА-схем/о для задання алгоритмів та структур даних. Запропоновано матричний метод виведення для клаузальних логік, який відрізняється від відомих методів використанням операцій над числовими матрицями до отримання сформульованого в термінах матриць критерію суперечливості множини клауз. Розроблена технологія проектування програмних систем на базі багаторівневого підходу з використанням мови UML та об'єктно-орієнтованої мови програмування в термінах САА-схем/о з подальшою генерацією програмного коду на вибраній користувачем цільовій мові програмування. В якості інструментальних засобів технології виступає платформа швидкої розробки застосувань SmartBase. Registration Date 2006-12-18 popup.nrat_date 2020-04-04 Close