Бакулин А. В. Развитие метода и инструментария многоуровневого доказательного проектирования программ

Объект исследования: Формализованные спецификации проектов программ. Цель исследования: Создание теоретических и инструментальных средств обоснования правильности проетров программ. Методы исследования и аппаратура: Применялся математический аппарат алгебры алгоритмов Глушкова и методы формальной логики. Теоретические результаты и новизна: 1.Математический аппарат для разработки и представления программ. 2.Методы обоснования правильности проектов программ. 3.Исчисления для верификации проектов программ, теоремы про полноту и непротиворечивость. Практические результаты и новизна: Метод доказательного проектирования программ, который развивает метод многоуровнего структурного проектирования программ. Программно реализованный инструментарий метода. Сфера (область) использования: Разработки, связанные с технологией программирования и повышщния надежности программ.