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

Інформація × Реєстраційний номер 0493U001128, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 12-02-1993 Статус Запланована Назва роботи Развитие метода и инструментария многоуровневого доказательного проектирования программ Здобувач Бакулин Александр Владимирович, Керівник Цейтлин Г.С. Опонент Летичевский О.А. Опонент Каюров В.Ю. Опис Объект исследования: Формализованные спецификации проектов программ. Цель исследования: Создание теоретических и инструментальных средств обоснования правильности проетров программ. Методы исследования и аппаратура: Применялся математический аппарат алгебры алгоритмов Глушкова и методы формальной логики. Теоретические результаты и новизна: 1.Математический аппарат для разработки и представления программ. 2.Методы обоснования правильности проектов программ. 3.Исчисления для верификации проектов программ, теоремы про полноту и непротиворечивость. Практические результаты и новизна: Метод доказательного проектирования программ, который развивает метод многоуровнего структурного проектирования программ. Программно реализованный инструментарий метода. Сфера (область) использования: Разработки, связанные с технологией программирования и повышщния надежности программ. Дата реєстрації 1993-02-14 Додано в НРАТ 2021-03-18 Закрити