Search academic texts

Information × Registration Number 0496U002092, Candidate dissertation Status к.т.н. Date 16-11-1995 popup.evolution o Title Author Борисенко Татьяна Ивановна, popup.head Левыкин В.М. popup.opponent Шабанов-Кушнаренко Ю.П. popup.opponent Пушкарь А.И. Description Объект исследования: Методы и средства автоматизации разработки проблемно-ориентированного программного обеспечения (ПО). Цель исследования: Разработка научно-обоснованной технологии и среств автоматизации синтеза проблемно-ориентированного ПО автоматизированных систем (АС), а также их реализация в виде инструментальной системы. Методы исследования и аппаратура: Методы теории категорий и функтороф, математической логики и логического вывода, теории графов и теории множеств, ЭВМ. Теоретические результаты и новизна: Теоретико-категорная модель процессов дедуктивного синтеза программ, новый язык спецификаций и технология автоматизированной разработки прикладного ПО. Практические результаты и новизна: Разработан комплекс инструментальных средств автоматизации создания ПО АС. Предмет и степень внедрения: Технология и комплекс программ внедрены на предприятиях и в организациях. Эффективность внедрения: Существенное повышение эффективности разработки ПО АС. Сфера (область) использования: Автоматизированные системы управления производством и организациями, САПР. Registration Date 1995-11-16 popup.nrat_date 2020-05-17 Close