СОДЕРЖАНИЕ
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Глава Фиксация требований и их формальное представление.
1. Роль требований в разработке программного обеспечения
1. Фиксация требований
1. Проверка правильности требований
1. Стандартизированные языки формального представления требований
Глава Алгебраические формальные спецификации.
2. Транзиционные системы и логика переписывания
2. Агенты
2. Среды
2. Базовые протоколы
2. Язык базовых протоколов
Глава Статическая проверка свойств систем базовых протоколов.
3. Непротиворечивость
3. Полнота
3. Проверка условий целостности
3. Корректность алгоритмов
3. Подходы к решению проблемы достижимости
Глава Символьные вычисления в системах базовых протоколов.
4. Прямой предикатный трансформер
4. Обратный предикатный трансформер
4. Примеры
Глава Проверка систем, описанных в языках моделирования MSC, SDL и UML.
5. Краткая характеристика MSC
5. Трансляция MSC-спецификаций в язык базовых протоколов
5. Краткая характеристика и основные свойства SDL
5. Трансляция SDL-спецификаций в язык базовых протоколов
5. Использование UML
ЗАКЛЮЧЕНИЕ
ВЫВОДЫ
ЛИТЕРАТУРА
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922