СОДЕРЖАНИЕ
Введение
Глава 1. Модельнотехнологический подход к применению формальных методов для повышения надежности проектирования. Основные принципы и идеи.
Введение. Качество проектирования и его связь с надежностью
1.1. Основные принципы модельнотехнологического подхода
1.2. Общая модель технологии.
1.3. Общий метод повышения надежности специализированной технологии проектирования путем модификации базовой технологии на основе формальных методов.
1.4.Типовой комплекс массовых задач повышения надежности проектирования на основе формальных методов.
Подходы к решению и обеспечению
1.5. Практические применения модельнотехнологического подхода
Результаты и выводы по главе 1.
Глава 2. Базовые языковые средства формализованных функциональных спецификаций.
Введение. Задача построения функциональных спецификаций как массовая технологическая задача.
Методы и средства решения
2.1. Принципы построения языковых средств
функциональных спецификаций
2.2. Базовое семейство схем языков типаШ.
2.3. Семейство схем языков тъпЛрШ
2.4. Сравнение языков функций и их выразительных возможностей.
Результаты и выводы по главе 2
Глава 3. Сверхмассовая задача анализа внешнего поведения структурированных объектов. Методы и средства решения
3.1. Общий подход к решению частных массовых задач
3.2. Базовая задача анализа внешнего поведения
на основе локальных эквивалентных преобразований и ее ближайшие аналоги.
3.3. Бинарные программы и схемы выбора.
3.4. Сети связи
3.5. Ленточные автоматы. Автономные автоматы.
3.6. Модель типа схем и ее возможности.
Результаты и выводы по главе 3.
Глава 4. Другие технологические задачи, связанные с контролем и обеспечением правильности
4.1. Задачи проверки и обоснования правильности.
Общий подход.
4.2. Критерии правильности и их формализация.
4.3. Верификация и ее связь с анализом внешнего поведения. Верификационная отладка
4.4. Технологическая задача оценочного тестирования
4.5. Пример внедрения
Результаты и выводы по главе 4.
Глава 5. Новый математический аппарат анализа
и верификации программ.
Введение. Нерешенные проблемы. Подходы к решению.
5.1. Языки типа Л7 и их базовая алгебраическая система
5.2. Языки типа и их базовая алгебраическая система
5.3. Представление программ схемами
5.4. Постановка задач анализа внешнего поведения
и верификации
5.5. Методы решения
на основе эквивалентных преобразований схем
5.6. Разрешение теоретических проблем.
Результаты и выводы по главе 5
Глава 6. Подходы и техника формализации знаний, ориентированные на корректность.
Введение
6.1. Понятие схемы представления знаний.
Схемы, ориентированные на корректность
6.2. Метод развиваемой семантической модели.
6.3. Методы разрушающего анализа обоснований
6.4. Схемный метод порождения формализованных знаний с использованием аналогий
и защитой от неправомочных аналогий.
Результаты и выводы по главе 6
Основные результаты и выводы по диссертации.
Библиографический список
Приложение. Краткое описание методик верификации
Введение
Актуальность
- Київ+380960830922