Методы и средства инженерии программного обеспечения

ПРЕДИСЛОВИЕ

ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ
ВСТУПЛЕНИЕ
ВВЕДЕНИЕ В ПРОГРАММНУЮ ИНЖЕНЕРИЮ И ЖИЗНЕННЫЙ ЦИКЛ ПО

Анализ и характеристика областей знаний SWEBOK
Основы программных требований (Software Requirements)
Проектирование ПО (Software design)
Анализ и оценка качества проектирования ПО
Конструирование ПО (Software Construction)

Тестирование ПО (Software Testing)
Сопровождение ПО (Software maintenance)

Методы и средства инженерии программного обеспечения

Агентное программирование

Методы теоретического программирования
Алгебраическое программирование (АП)
Экспликативное программирование (ЭП)
Алгоритмика программ

Формальные методы

Введение
Инженерия ПИК
Спецификация ПИК

Репозитарий компонентов
Описание интерфейса объектов-компонентов в распределенной среде
Инженерия приложений и предметной области

Инженерия оценивания стоимости реализации ПрО из компонентов
МЕТОДЫ ВЕРИФИКАЦИИ И ТЕСТИРОВАНИЯ ПРОГРАММ И СИСТЕМ
Методы доказательства программ
Методы доказательства правильности программ
Общая характеристика формальных методов доказательства

Модель формального доказательства конкретности программы
Техника символьного выполнения
Методы просмотра структуры программы

Верификация и аттестация программ
Методы верификации объектно–ориентированных программ
Методы тестирования программ
Статические методы тестирования
Динамические методы тестирования
Функциональное тестирование

Организационные аспекты процесса тестирования

Организация подготовки тестов
Команда тестировщиков
Организация процесса тестирования

КОМПОНЕНТОВ И ДАННЫХ
Методы интеграции (композиции) компонентов
Методы преобразования программ и данных
Парадигма преобразования данных
Формальное описание данных в ЯП и их преобразование

Средства стандарта ISO/IEC для преобразования данных
Преобразование данных БД и замена БД
Основные этапы преобразования данных в БД
Унифицированные файлы для передачи данных между разными БД
Методы внесения изменений в компоненты и в ПС
Реинженерия программных систем

Рефакторинг компонентов
Реверсная инжеиерия
МОДЕЛИ КАЧЕСТВА И НАДЕЖНОСТИ В ПРОГРАММНОЙ ИНЖЕНЕРИИ
Модель качества ПО

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

Управление качеством ПС
Модели оценки надежности
Основные понятия в проблематике надежности ПС
Классификация моделей надежности

Модели надежности Марковского и Пуассоновского типов
МЕТОДЫ УПРАВЛЕНИЯ ПРОЕКТОМ, РИСКОМ И КОНФИГУРАЦИЕЙ

Методы управления проектами
Методы управления программным проектом
Метод критического пути СРМ
Метод анализа и оценки PERT

Методы и средства инженерии программного обеспечения

Планирование

Организационные аспекты управления в проекте
Оценивание проекта
Методы управление рисками

Планирование управления рисками
Количественная оценка рисков
Планирование реагирования на риски
Мониторинг и контроль
Управление конфигурацией программной системы
Управление конфигурацией

Планирование УК
Определение стратегии идентификации
Управление версиями
Изменения в утвержденном КБ
Суть этого учета
Конфигурационный аудит

Языковые средства описания компонентов
Языковые средства описания компонентов и методов интеграции
Компоненты сеансов
ПИК сохраняется в архиве JAVA
Типы компонентов и средства их интеграции в JAVA
Шаблон развертывания
Базовые операция проекта

Формы
Система CORBA и средства описания объектов и компонентов
Сервлет – это небольшая программа
Язык описания интерфейсов в системе CORBA
Язык описания интерфейсов объектов
Интегратор объектов – брокер объектных запросов

Средства унифицированного процесса RUP
Энциклопедия инструментов создания ПС из объектов и компонентов

Средства и методы разработки архитектуры MSF
Перспективы производственной архитектуры
Словарь терминов программной инженерии

Формирование требований к автоматизированной системе

Стандарт разработки документации на АС – ГОСТ
Жизненный цикл компонентной разработки ПС
Разработка требований – это формирование
Этап анализа поведения ПС
Этап спецификации интерфейсов и взаимодействия компонентов
Этап интеграции

Этап развертывания компонентов системы
Этап сопровождения
Кодекс этики программной инженерии
Литература
Стандарты программной инженерии

Клиенты NetWare далее
LANtastic 6.0 Руководство по установке и управлению далее