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

Інформація × Реєстраційний номер 0496U002092, Кандидатська дисертація На здобуття к.т.н. Дата захисту 16-11-1995 Статус Запланована Назва роботи Автоматизация синтеза проблемно-ориентированного программного обеспечения автоматизированных систем Здобувач Борисенко Татьяна Ивановна, Керівник Левыкин В.М. Опонент Шабанов-Кушнаренко Ю.П. Опонент Пушкарь А.И. Опис Объект исследования: Методы и средства автоматизации разработки проблемно-ориентированного программного обеспечения (ПО). Цель исследования: Разработка научно-обоснованной технологии и среств автоматизации синтеза проблемно-ориентированного ПО автоматизированных систем (АС), а также их реализация в виде инструментальной системы. Методы исследования и аппаратура: Методы теории категорий и функтороф, математической логики и логического вывода, теории графов и теории множеств, ЭВМ. Теоретические результаты и новизна: Теоретико-категорная модель процессов дедуктивного синтеза программ, новый язык спецификаций и технология автоматизированной разработки прикладного ПО. Практические результаты и новизна: Разработан комплекс инструментальных средств автоматизации создания ПО АС. Предмет и степень внедрения: Технология и комплекс программ внедрены на предприятиях и в организациях. Эффективность внедрения: Существенное повышение эффективности разработки ПО АС. Сфера (область) использования: Автоматизированные системы управления производством и организациями, САПР. Дата реєстрації 1995-11-16 Додано в НРАТ 2020-05-17 Закрити