Методы и средства инженерии программного обеспечения
Агентное программированиеМетоды теоретического программирования
Алгебраическое программирование (АП)
Экспликативное программирование (ЭП)
Алгоритмика программ
Формальные методы
Введение
Инженерия ПИК
Спецификация ПИК
Репозитарий компонентов
Описание интерфейса объектов-компонентов в распределенной среде
Инженерия приложений и предметной области
Инженерия оценивания стоимости реализации ПрО из компонентов
МЕТОДЫ ВЕРИФИКАЦИИ И ТЕСТИРОВАНИЯ ПРОГРАММ И СИСТЕМ
Методы доказательства программ
Методы доказательства правильности программ
Общая характеристика формальных методов доказательства
Модель формального доказательства конкретности программы
Техника символьного выполнения
Методы просмотра структуры программы
Верификация и аттестация программ
Методы верификации объектно–ориентированных программ
Методы тестирования программ
Статические методы тестирования
Динамические методы тестирования
Функциональное тестирование
Организационные аспекты процесса тестирования
Организация подготовки тестов
Команда тестировщиков
Организация процесса тестирования
КОМПОНЕНТОВ И ДАННЫХ
Методы интеграции (композиции) компонентов
Методы преобразования программ и данных
Парадигма преобразования данных
Формальное описание данных в ЯП и их преобразование
Средства стандарта ISO/IEC для преобразования данных
Преобразование данных БД и замена БД
Основные этапы преобразования данных в БД
Унифицированные файлы для передачи данных между разными БД
Методы внесения изменений в компоненты и в ПС
Реинженерия программных систем
Рефакторинг компонентов
Реверсная инжеиерия
МОДЕЛИ КАЧЕСТВА И НАДЕЖНОСТИ В ПРОГРАММНОЙ ИНЖЕНЕРИИ
Модель качества ПО
Метрики качества программного обеспечения
Стандартный метод оценки значений показателей качества
Управление качеством ПС
Модели оценки надежности
Основные понятия в проблематике надежности ПС
Классификация моделей надежности
Модели надежности Марковского и Пуассоновского типов
МЕТОДЫ УПРАВЛЕНИЯ ПРОЕКТОМ, РИСКОМ И КОНФИГУРАЦИЕЙ
Методы управления проектами
Методы управления программным проектом
Метод критического пути СРМ
Метод анализа и оценки PERT
Содержание раздела
