Search academic texts

Information × Registration Number 0493U001128, Candidate dissertation Status к.ф.-м.н. Date 12-02-1993 popup.evolution o Title Author Бакулин Александр Владимирович, popup.head Цейтлин Г.С. popup.opponent Летичевский О.А. popup.opponent Каюров В.Ю. Description Объект исследования: Формализованные спецификации проектов программ. Цель исследования: Создание теоретических и инструментальных средств обоснования правильности проетров программ. Методы исследования и аппаратура: Применялся математический аппарат алгебры алгоритмов Глушкова и методы формальной логики. Теоретические результаты и новизна: 1.Математический аппарат для разработки и представления программ. 2.Методы обоснования правильности проектов программ. 3.Исчисления для верификации проектов программ, теоремы про полноту и непротиворечивость. Практические результаты и новизна: Метод доказательного проектирования программ, который развивает метод многоуровнего структурного проектирования программ. Программно реализованный инструментарий метода. Сфера (область) использования: Разработки, связанные с технологией программирования и повышщния надежности программ. Registration Date 1993-02-14 popup.nrat_date 2021-03-18 Close