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

Введение
Глава 1. Анализ метрик, применяемых при оценивании
программных средств, и моделей, используемых для определения и вычисления метрик
1.1 Основные понятия, используемые при моделировании программных продуктов
1.2 Модели проектов и программ
1.3 Основные метрики качества и связь метрик с внешними свойствами программ
1.4 Задачи диссертационной работы.
Глава 2. Разработка согласованной системы моделей традиционной и объектноориентированной программ для используемых на практике метрик.
2.1 Обобщенная модель структуры традиционной
программы для используемых на практике метрик . .
2.2 Модель иерархии наследования классов.
2.3 Модель потока сообщений
2.4 Модель взаимодействия компонентов объектноориентированного проекта и программы.
2.5 Выводы к главе 2
Глава 3. Создание языка для формального определения внутренних свойств программ в терминах измерительных языковых моделей.
3.1 Графовые модели программ и формат их представления .
3.2 Языковые средства для представления графовых
моделей программ в терминах измерительных языковых моделей.
3.3 Метрики программ.
3.4 Языковые средства для представления метрик программ
в терминах моделей программ
3.5 Выводы к главе 3
Глава 4. Реализация библиотеки метрик.
4.1 Построение графовых моделей программ по измерительным
моделям.
4.2 Вычисление метрик программ по графовым моделям .
4.3 Выводы к главе 4
Заключение
Литература