Хохлов В. А. Інструментарій проектування комп'ютерних систем на основі діалогових алгебро-граматичних моделей представлення знань

Об'єкт - автоматизовані системи проектування універсальних і спеціалізованих комп'ютерних систем; мета - розробка на основі діалогових алгебро-граматичних моделей представлення знань інструментарію проектування програмних і апаратних компонент АСУ; методи - теорії алгоритмів, теорії алгебраїчних систем, абстрактної і структурної теорії автоматів, теорія формальних мов і граматик; новизна - мова проектування комп'ютерних систем САА/Д розширена засобами діалогової взаємодії користувача та комп'ютерної системи, що проектується; вперше запропоновано апарат параметризованих шаблонів, який використовується при підключенні до мови САА/Д цільових мов програмування; вперше реалізовані механізми роботи з історією створення проекту комп'ютерної системи, що дозволяють підтримувати спіральну модель життєвого циклу комп'ютерної системи; вперше алгоритми синтезу операційних пристроїв за їх функціональними мікропрограмами, представленим у вигляді граф-схем, розповсюджені на САА/Д-схеми; результати - спрощення процесу проектування комп'ютерних систем, зменшення термінів проектування й матеріальних витрат на проектування; впроваджено - в ТОВ "Сонар", ХМГО "Розвиток", а також у навчальний процес Херсонського національного технічного університету; галузь - інформаційні технології.