Search academic texts

Information × Registration Number 0493U002375, Candidate dissertation Status к.ф.-м.н. Date 28-05-1993 popup.evolution o Title Author Панфиленко Валерий Павлович, popup.head Цейтлин Г.О. popup.opponent Анисимов А.В. popup.opponent Гороховский С.С. Description Объект исследования: Формализованные спецификации при многоуровневом проектировании классов алгоритмов и программ. Цель исследования: Формализация концепции согласованности спецификаций алгоритмов и программ; исследование свойств тупиковости и фиктивности и разработка средств их выявления в спецификациях параллельных программ. Методы исследования и аппаратура: Общая алгебра, теория формальных языков, теория алгоритмов, теория графов, теоретическое программирование. Теоретические результаты и новизна: Установлены критерии согласованности формализованных спецификаций алгоритмов и программ; проведено классификацию тупиков, установлено критерии тупиковости и фиктивности, доведено дуальность задач выявления тупиков и фиктивностей. Практические результаты и новизна: Разработано и реализовано анализатор тупиков и фиктивностей в спецификациях параллельных алгоритмов и программ. Предмет и степень внедрения: Анализатор использьван в системе поддержки многоуровневого проектирования мультипроцессит. Эффективность внедрения: Использование анализатора значительно облегчает и ускоряет выявление погрешностей в формализованных спецификациях. Сфера (область) использования: Средства для создания надежного программного обеспечения, системы верификации параллельных программ. Registration Date 1993-05-28 popup.nrat_date 2020-05-17 Close