Программная инженерия. Парадигмы, технологии и case-средства. Учебник для вузов

Екатерина Михайловна Лаврищева

Обложка:


Список сокращений
От автора
Предисловие
Раздел I ПРОГРАММНАЯ ИНЖЕНЕРИЯ. БАЗОВЫЕ ПОНЯТИЯ
Глава 1. Становление программной инженерии
1.1. Определение программной инженерии с 70–90-х годов ХХ столетия
1.2. Основные понятия программной инженерии
1.3. Принципы программной инженерии
1.4. Управление разработкой и качеством систем
1.5. Реинженерия, реверсная инженерия, рефакторинг
1.6. CASE-средства программной инженерии
Глава 2. Становление отечественной технологии программирования
2.1. Технологии компьютерных систем и программ
2.2. Формирование сборочной технологии программирования в бывшем СССР
2.3. Развитие индустриальных технологий в программной инженерии
Глава 3. Компьютерные технологии фабрик программ
3.1. Зарубежные компьютерные технологии
3.2. Индустриальные основы программной инженерии
3.3. Дисциплины программной инженерии
3.4. Современные фабрики программ. Типы, ресурсы, платформы
Глава 4. Технология конвейерной сборки систем
4.1. Сущность сборочного конвейера
4.2. Линии программ и Product Lines
4.3. Метод сборки специализированных технологий
Раздел II ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ
Глава 1. Модульное программирование. Базовые понятия
1.1. Понятие модуля и интерфейса. Метод их сборки
1.2. Теория сборки разнородных модулей
1.3. Фундаментальные типы данных (ТД). Простые и сложные ТД
1.4. Общие типы данных. Неструктурные и генерированные ТД
1.5. Стили сборочного программирования
1.6. CASE-cредства интеграции модулей и интерфейсов
Глава 2. Парадигма объектного программирования
2.1. Математическое моделирование объектной модели
2.2. Алгебра объектного анализа предметной области (ПрО)
2.3. Методы объектов и их интерфейсы
2.4. ЖЦ объектного моделирования ПрО
2.5. CASE-средства объектного подхода в современных средах
Глава 3. Парадигма компонентного программирования
3.1. Теория компонентного программирования. Базовые понятия
3.2. Модели разработки систем из компонентов
3.3. Операции внешней, внутренней и эволюционной алгебры
3.4. Объектно-компонентный метод
3.5. Типизация компонентов. Корректность сборки компонентов
3.6. ЖЦ компонентной разработки ПС
3.7. CASE-средства поддержки компонентов и систем
Глава 4. Генерирующее программирование. Модели и методы
4.1. Элементы программных систем и семейств систем
4.2. Трансформация и конфигурация программных систем
4.3. Аспектно-ориентированное программирование
4.4. Модели взаимодействия систем. Теория и реализация
4.5. Модель конструирования вариантных систем и семейств
4.6. Модели сложных и распределенных систем
4.7. CASE-cистемы поддержки мультипрограммирования
Глава 5. Сервисное программирование
5.1. Сервис. Базовые понятия
5.2. Сервисная и компонентно-ориентированные архитектуры
5.3. Сервисы контрактов WCF
5.4. CASE-средства JAVA EE
Раздел III ТЕХНОЛОГИЯ СИСТЕМ, ЛИНИЙ И CASE-СРЕДСТВ
Глава 1. Технология сложных систем из готовых ресурсов
1.1. Базовые подходы к проектированию сложных систем
1.2. Модели систем для разных платформ
1.3. Генерация и сборка сложных систем
1.4. Методология проектировании систем с помощью ЖЦ
Глава 2. Моделирование доменов средствами онтологии
2.1. Онтологическое моделирование проблемной области
2.2. Описание доменов средствами онтологии
2.3. Основные понятия онтологии представления ПрО
2.4. Формализация онтологической модели ЖЦ
2.5. Онтологии процесса тестирования ЖЦ
Глава 3. Обеспечение качества пс
3.1. Основные задачи проблемы управления качеством
3.2. Моделирование характеристик качества ПС
3.3. Задачи управления качеством ПС
3.4. Модель требований с ориентацией на обеспечение качества ПС
3.5. Система прогнозирования безотказной работы ПС
3.6. Анализ достижения уровня качества
3.7. Задачи оценки качества сложных систем
3.8. Эталонная модель качества оценки показателей ПС
Глава 4. Тестирование и экспертирование пс
4.1 Модель тестирования и определение оптимального времени
4.2. Экспертирование компонентов и систем
4.3. Методы управления программным проектом
Глава 5. Case-средства разработки сложных систем
5.1. Классификация средств производства ПП
5.2. Ресурсы фабрики программ. Их виды и использование
5.3. Базовые основы средств индустрии программ
5.4. Разработка ТЛ для фабрик программ
Глава 6. Case итк. Технологии, электронное обучение
6.1. Основные задачи ИТК
6.2. Функции и структура веб-сайта ИТК
6.3. Описание раздела сайта «Технологии»
6.4. Веб-сервисы в ИТК
6.5. Раздел сайта «Взаимодействие»
6.6. Разделы сайта: Презентации, Инструменты
6.7. Электронное обучение предмету «Программная инженерия»
Глава 7. Перспектива перехода ит-технологий к нанотехнологиям
7.1. Оценка достижений компьютерных технологий
7.2. На пути к нанотехнологии
Заключение
Список литературы