Математическое моделирование верификации процесса разработки программного обеспечения

Оглавление
Введение
Глава Т Обзор методов и алгоритмов верификации программной инженерии
Методологии разработки программного обеспечения.
Верификация процесса разработки программного обеспечения.
Описание семантики процесса разработки.
Комплексы поддержки программной инженерии
Выводы.
1 лава II Математическая модель верификации процесса программной инженерии
Модель разработки программного обеспечения.
Динамическая модель процесса разработки программного обеспечения
Выводы.
Глава III Модель семантических отношений между артефактами проекта
Метод оценки корректности рабочих продуктов
Язык определения семантических отношений артефактов
Компилятор языка семантических отношений артефактов
Выводы.
Глава IV Программный комплекс поддержки разработки программного обеспечения
Архитектура программного комплекса.
Описание модулей программного комплекса
Выводы.
Глава V Апробация программного комплекса
Модификация унифицированного процесса разработки программного обеспечения.
1 Доведение эксперимента
Правила верификации процесса разработки программного обеспечения .
Практика использования программного комплекса в учебных проектах
Выводы по диссертационной работе.
Список источников