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