Введение
Глава 1. Стандарты процесса производства программного обеспечения, средства и формальные методы моделирования планов программных проектов 11
1.1 Основные понятия, используемые при моделировании процесса производства программного обеспечения 13
1.2 Основные стандарты, связанные с процессом производства программного обеспечения 17
1.3 Формальное моделирование процессов производства программного обеспечения 25
1.4 Выводы из обзора и задачи диссертационной работы . 37
Глава 2. Формальные модели плана программного проекта . 39
2.1 Основные компоненты модели процесса производства программного обеспечения 39
2.2 Общая схема моделирования и улучшения плана программного проекта 43
2.3 Реляционная модель процесса производства программного обеспечения 45
2.4 Динамическая модель плана программного проекта . 60
2.5 Статический граф плана программного проекта... 69
2.6 Динамический граф плана программного проекта . 78
2.7 Специфицирование и визуализация плана программного проекта 92
2.8 Выводы к главе 2 103
Глава 3. Измерение, оценивание и прослеживание плана программного проекта 105
3.1 Метрики и дефекты плана программного проекта 105
3.2 Прослеживание плана программного проекта . 121
3.3 Выводы к главе 3 126
Глава 4. Программное средство для моделирования планов программных проектов 128
4.1 Специфицирование статической реляционной модели плана проекта с использованием его графовой модели . 128
4.2 Исполнение статической реляционной модели плана проекта и визуализация динамической модели . 133
4.3 Измерение и оценивание плана программного проекта . 136
4.4 Выводы к главе 4 140
Глава 5. Экспериментальное исследование планов программных проектов при помощи специализированного средства моделирования 141
5.1 Оценивание процесса производства программного обеспечения с использованием специализированного средства моделирования 141
5.2 Условия проведения экспериментов 143
5.3 Результаты экспериментов 146
5.4 Выводы к главе 5 154
Заключение 155
Литература . 157
Приложение 1 168
Приложение 2 169
