Введение
Глава 1 Обзор методов и алгоритмов верификации программной инженерии .. 9
1 Методологии разработки программного обеспечения 9
2 Верификация процесса разработки программного обеспечения 18
3 Описание семантики процесса разработки 23
4 Комплексы поддержки программной инженерии 27
Выводы 30
Глава II Математическая модель верификации процесса программной инженерии 32
1 Модель разработки программного обеспечения 32
2 Динамическая модель процесса разработки программного обеспечения ...40
Выводы 51
Глава III Модель семантических отношений между артефактами проекта 53
1 Метод оценки корректности рабочих продуктов 53
2 Язык определения семантических отношений артефактов 54
3 Компилятор языка семантических отношений артефактов 61
Выводы 67
Глава IV Программный комплекс поддержки разработки программного обеспечения 69
1 Архитектура программного комплекса 69
2 Описание модулей программного комплекса 76
Выводы 85
Глава V Апробация программного комплекса 86
1 Модификация унифицированного процесса разработки программного обеспечения 86
2 Проведение эксперимента 92
3 Правила верификации процесса разработки программного обеспечения .92
4 Практика использования программного комплекса в учебных проектах...95
Выводы 104
Выводы по диссертационной работе 106
Список источников и литературы 108
Приложение
