Борисенко Т. И. Автоматизация синтеза проблемно-ориентированного программного обеспечения автоматизированных систем

Объект исследования: Методы и средства автоматизации разработки проблемно-ориентированного программного обеспечения (ПО). Цель исследования: Разработка научно-обоснованной технологии и среств автоматизации синтеза проблемно-ориентированного ПО автоматизированных систем (АС), а также их реализация в виде инструментальной системы. Методы исследования и аппаратура: Методы теории категорий и функтороф, математической логики и логического вывода, теории графов и теории множеств, ЭВМ. Теоретические результаты и новизна: Теоретико-категорная модель процессов дедуктивного синтеза программ, новый язык спецификаций и технология автоматизированной разработки прикладного ПО. Практические результаты и новизна: Разработан комплекс инструментальных средств автоматизации создания ПО АС. Предмет и степень внедрения: Технология и комплекс программ внедрены на предприятиях и в организациях. Эффективность внедрения: Существенное повышение эффективности разработки ПО АС. Сфера (область) использования: Автоматизированные системы управления производством и организациями, САПР.