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

Інформація × Реєстраційний номер 0493U002375, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 28-05-1993 Статус Запланована Назва роботи Многоуровневое проектирование и проверка свойств структурированных параллельных схем программ Здобувач Панфиленко Валерий Павлович, Керівник Цейтлин Г.О. Опонент Анисимов А.В. Опонент Гороховский С.С. Опис Объект исследования: Формализованные спецификации при многоуровневом проектировании классов алгоритмов и программ. Цель исследования: Формализация концепции согласованности спецификаций алгоритмов и программ; исследование свойств тупиковости и фиктивности и разработка средств их выявления в спецификациях параллельных программ. Методы исследования и аппаратура: Общая алгебра, теория формальных языков, теория алгоритмов, теория графов, теоретическое программирование. Теоретические результаты и новизна: Установлены критерии согласованности формализованных спецификаций алгоритмов и программ; проведено классификацию тупиков, установлено критерии тупиковости и фиктивности, доведено дуальность задач выявления тупиков и фиктивностей. Практические результаты и новизна: Разработано и реализовано анализатор тупиков и фиктивностей в спецификациях параллельных алгоритмов и программ. Предмет и степень внедрения: Анализатор использьван в системе поддержки многоуровневого проектирования мультипроцессит. Эффективность внедрения: Использование анализатора значительно облегчает и ускоряет выявление погрешностей в формализованных спецификациях. Сфера (область) использования: Средства для создания надежного программного обеспечения, системы верификации параллельных программ. Дата реєстрації 1993-05-28 Додано в НРАТ 2020-05-17 Закрити