Список принятых сокращений

От автора

Предисловие

Введение

Глава 1. Технология программирования программных систем

• 1.1. Техно-логия программирования сложных систем (259мин.)
• • 1.1.1. Создание систем программирования (80мин.)
  • 1.1.2. Системы синтеза, композиции и сборки программ (40мин.)
  • 1.1.3. Технология программирования систем для ЭВМ (40мин.)
  • 1.1.4. Развитие технологии сборочного программирования (40мин.)
  • 1.1.5. Интерфейс и метод сборки в технологии программирования (40мин.)
• 1.2. Технология модульного проектирования систем (379мин.)
• • 1.2.1. Интерфейсы модулей и их функции (40мин.)
  • 1.2.2. Определение модульной структуры ПС (60мин.)
  • 1.2.3. Матричное представление графов из модулей (20мин.)
  • 1.2.4. Отношение достижимости модулей графов (40мин.)
  • 1.2.5. Операции построения модульных структур (80мин.)
  • 1.2.6. Процесс построения модульных структур (40мин.)
  • 1.2.7. Отладка и тестирование модулей (60мин.)
• 1.3. Cборочное программирование и перспективы развития (80мин.)
• • 1.3.1. Отечественные линии продуктов в АИС (20мин.)
  • 1.3.2. Перспективы развития ТП (по А. П. Ершову) (20мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Технология программирования программных систем (36мин.)

Глава 2. Программная инженерия / Software Engineering (SE) программных продуктов

• 2.1. Инженерия компьютерных систем (40мин.)
• 2.2. Области знаний ядра SWEBOK (459мин.)
• • 2.2.1. Программные требования (40мин.)
  • 2.2.2. Проектирование ПО (40мин.)
  • 2.2.3. Конструирование ПО (40мин.)
  • 2.2.4. Тестирование ПО (40мин.)
  • 2.2.5. Сопровождение ПО (40мин.)
  • 2.2.6. Управление конфигурацией ПО (20мин.)
  • 2.2.7. Управление инженерией ПО (60мин.)
  • 2.2.8. Процесс SE (60мин.)
  • 2.2.9. Инструменты и методы ПО (40мин.)
  • 2.2.10. Качество ПО (60мин.)
• 2.3. Модели ЖЦ ПС (120мин.)
• • 2.3.1. Каскадные модели (20мин.)
  • 2.3.2. Итерационные модели (80мин.)
• 2.4. Парадигмы программирования SE (140мин.)
• • 2.4.1. Парадигма событийно-управляемого программирования (20мин.)
  • 2.4.2. Согласованное программирование и параллельные вычисления (40мин.)
  • 2.4.3. Парадигма ООП (20мин.)
  • 2.4.4. Agile-технологии (40мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Программная инженерия / Software Engineering (SE) программных продуктов (32мин.)

Глава 3. Новые подходы к разработке изменяемых ПП из КПИ

• 3.1. Инженерия изготовления ПП в Product Line (80мин.)
• • 3.1.1. Вариабельность продуктов и семейств на линиях SPLE (40мин.)
  • 3.1.2. Процессы разработки ПП в SPLE (20мин.)
  • 3.1.3. Процессы инженерии доменов (20мин.)
• 3.2. Инженерия повторного использования КПИ/Reuse (60мин.)
• • 3.2.1. Разновидности КПИ (20мин.)
  • 3.2.2. Спецификация КПИ (20мин.)
• 3.3. Подходы к созданию вариантов ПП (60мин.)
• 3.4. Моделирование изменяемых систем по К. Чернецки (40мин.)
• • 3.4.1. Основы метода генерации ПП (20мин.)
  • 3.4.2. Метод генерации доменов и приложений (40мин.)
• 3.5. Применение инженерии SPLE в системе Grid (60мин.)
• • 3.5.1. Средства разработки ПС в ETICS Grid (20мин.)
  • 3.5.2. Сборка, тестирование и конфигурация систем в ETICS (20мин.)
• 3.6. Фабрики программ и AppFab (100мин.)
• • 3.6.1. Системные AppFab (20мин.)
  • 3.6.2. Фабрики интеграции разнородных компонентов и данных (20мин.)
  • Контрольные вопросы и задания (40мин.)
• Тест:  Новые подходы к разработке изменяемых ПП из КПИ (22мин.)

Глава 4. Модели и методы проектирования вариантов систем

• 4.1. Определение вариантов КПИ в ПС и СПС (259мин.)
• • 4.1.1. Определение КПИ и модели вариантности ПС и СПС (20мин.)
  • 4.1.2. Введение вариантных характеристик в архитектуру ПС (20мин.)
  • 4.1.3. Связь варианта с точками вариации (20мин.)
  • 4.1.4. Модель КПИ с вариантами и механизмами вариации (40мин.)
  • 4.1.5. Описания внешних и внутренних связей вариантов (160мин.)
• 4.2. Базовые модели проектирования систем (100мин.)
• • 4.2.1. Модели MDD, MDA (40мин.)
  • 4.2.2. Модели систем для разных платформ PIM и PSM (60мин.)
• 4.3. Моделирование систем в языке UML (180мин.)
• • 4.3.1. Стратегия использования UML (20мин.)
  • 4.3.2. Описание в UML веб-сайта оплаты услуг (160мин.)
• 4.4. Аспекты управления вариабельностью ПС (239мин.)
• • 4.4.1. Функции управления вариабельностью (100мин.)
  • 4.4.2. Подход к разработке вариабельной СПС из КПИ (60мин.)
  • 4.4.3. Процесс сборки КПИ в современных средах (20мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Модели и методы проектирования вариантов систем (30мин.)

Глава 5. Определения характеристик систем методами анализа и извлечения знаний

• 5.1. Моделирование функцио-нальных и нефункцио-нальных характеристик ПП (200мин.)
• • 5.1.1. Метод анализа иерархий (60мин.)
  • 5.1.2. Моделирование характеристик качества байесовской сетью (40мин.)
  • 5.1.3. Неиерархические модели качества (60мин.)
  • 5.1.4. Подход к оценке качества процессов линий (40мин.)
• 5.2. Модели представления знаний (160мин.)
• • 5.2.1. Продукционные системы (20мин.)
  • 5.2.2. Логические модели (20мин.)
  • 5.2.3. Фреймы (20мин.)
  • 5.2.4. Семантические сети (20мин.)
  • 5.2.5. Методы многомерного анализа данных (20мин.)
  • 5.2.6. Инструменты извлечения (добывания) знаний (60мин.)
• 5.3. Методы поиска и извлечения знаний (160мин.)
• • 5.3.1. Методы машинного обучения (20мин.)
  • 5.3.2. Методы извлечения знаний (80мин.)
  • 5.3.3. Применение технологии Mining к системам (40мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Определения характеристик систем методами анализа и извлечения знаний (26мин.)

Глава 6. Формальные методы спецификации, верификации и доказательства правильности систем

• 6.1. Методы и языки формальной спецификации (60мин.)
• • 6.1.1. Классификация методов и языков спецификации программных систем (40мин.)
  • 6.1.2. Темпоральные и параллельные спецификации (20мин.)
• 6.2. Формальные методы спецификации моделей систем (180мин.)
• • 6.2.1. Формальное описание моделей систем в языке Z (40мин.)
  • 6.2.2. Описание базовых конструкций языка VDM (60мин.)
  • 6.2.3. Описание динамических систем концепторным языком (60мин.)
• 6.3. Формальные методы доказательства программ (259мин.)
• • 6.3.1. Подходы к доказательству правильности спецификаций (20мин.)
  • 6.3.2. Языки формальной спецификации (40мин.)
  • 6.3.3. Характеристика базовых методов доказательства (60мин.)
  • 6.3.4. Модель доказательства корректности перестановки данных в векторе (60мин.)
  • 6.3.5. Верификация и валидация программ (60мин.)
• 6.4. Подходы к верификации моделей систем и характеристик (200мин.)
• • 6.4.1. Логическое описание свойств моделей и их анализа (80мин.)
  • 6.4.2. Инструменты верификации модели FM в Product Family (40мин.)
  • 6.4.3. Корректность диаграмм характеристик онтологии OWL (60мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Формальные методы спецификации, верификации и доказательства правильности систем (18мин.)

Глава 7. Теория и методы проектирования моделей доменов и систем

• 7.1. Теория моделирования систем из объектов на уровнях (160мин.)
• • 7.1.1. Обобщающий уровень проектирования (20мин.)
  • 7.1.2. Структурный уровень моделирования (40мин.)
  • 7.1.3. Характеристический уровень проектирования (40мин.)
  • 7.1.4. Поведенческий уровень проектирования (20мин.)
• 7.2. Операции над классами объектов (20мин.)
• 7.3. Формальные основы объектного анализа (40мин.)
• 7.4. Определение моделей OM, ПС, MX (60мин.)
• 7.5. Теория моделирования ПС из компонентов (180мин.)
• • 7.5.1. Компонентная модель системы (20мин.)
  • 7.5.2. Формальные модели компонентного проектирования (60мин.)
  • 7.5.3. Операции над компонентами в компонентной среде (20мин.)
  • 7.5.4. Компонентная алгебра (40мин.)
• 7.6. Связь компонентной и объектной моделей (80мин.)
• 7.7. Технология конфигурационной сборки (100мин.)
• 7.8. Реализация техно-логии сборки в ИТК (60мин.)
• • Контрольные вопросы и задания (40мин.)
• Тест:  Теория и методы проектирования моделей доменов и систем (24мин.)

Глава 8. Применение теоретического аппарата фундаментальных и общих типов к неструктурным данным BIG DATA

• 8.1. Фундаментальные ТД в ЯП (180мин.)
• 8.2. ТД стандарта GDT (140мин.)
• • 8.2.1. Формальный синтаксис GDT (60мин.)
  • 8.2.2. Генератор сложных ТД GDT (40мин.)
  • 8.2.3. Преобразование ТД ISO/IEC 11404-96 (20мин.)
  • 8.2.4. Преобразование данных для связи компонентов в ЯП (20мин.)
• 8.3. Неструктурированные ТД (40мин.)
• 8.4. Подход к решению проблемы обмена разными ТД (60мин.)
• • 8.4.1. Операции преобразования ТД (20мин.)
  • 8.4.2. Подход к генерации FDT GDT (20мин.)
• 8.5. Практика реализации разнородных ТД (40мин.)
• 8.6. Средства поддержки приложений с Big Data (20мин.)
• 8.7. Характеристика стандартов ISO (80мин.)
• • Контрольные вопросы и задания (40мин.)
• Тест:  Применение теоретического аппарата фундаментальных и общих типов к неструктурным данным BIG DATA (16мин.)

Глава 9. Онтологический метод концептуального моделирования доменов

• 9.1. Описание доменов средствами онто-логии (40мин.)
• 9.2. Основные понятия онто-логии представления ПрО (20мин.)
• 9.3. Средства проектирования доменов в DSL (219мин.)
• • 9.3.1. Структура описания домена в DSL (40мин.)
  • 9.3.2. Трансформация модели домена в DSL к ЯП (20мин.)
  • 9.3.3. Онтология домена "Вычислительная геометрия" (20мин.)
  • 9.3.4. Процессы домена ЖЦ ISO/IEC 12207 (80мин.)
  • 9.3.5. Формализация онтологической модели ЖЦ (20мин.)
  • 9.3.6. Описание процессов ЖЦ средствами DSL и Protégé (40мин.)
• 9.4. Средства Protege для представления онто-логии (180мин.)
• • 9.4.1. Разработка онтологии процесса тестирования (120мин.)
  • 9.4.2. Онтология тестирования в Protégé (20мин.)
  • 9.4.3. Плагины для графического представления онтологии (20мин.)
• 9.5. Онто-логия КПИ (100мин.)
• • Контрольные вопросы и задания (20мин.)
• Тест:  Онтологический метод концептуального моделирования доменов (16мин.)

Глава 10. Методы экспертирования, тестирования и оценки качества ПС

• 10.1. Экспертирование компонентов и систем (120мин.)
• • 10.1.1. Модель экспертизы процессов (40мин.)
  • 10.1.2. Оценка процессов (40мин.)
  • 10.1.3. Задачи экспертной оценки объектов (20мин.)
  • 10.1.4. Технология экспертного оценивания объектов ПрО (20мин.)
• 10.2. Подходы к процессу тестирования ПС и СПС (219мин.)
• • 10.2.1. Тестирование видов систем в SWEBOK (40мин.)
  • 10.2.2. Задачи процесса управления тестированием (20мин.)
  • 10.2.3. Инженерия процесса тестирования ПрО (20мин.)
  • 10.2.4. Модели тестирования СПС (60мин.)
  • 10.2.5. Задача определения оптимального времени тестирования ПС (40мин.)
• 10.3. Оценивание качества ПС и СПС (219мин.)
• • 10.3.1. Моделирование характеристик качества ПС (40мин.)
  • 10.3.2. Задачи управления качеством ПС (20мин.)
  • 10.3.3. Модель требований для обеспечения качества ПС (40мин.)
  • 10.3.4. Система прогнозирования безотказной работы ПС (20мин.)
  • 10.3.5. Анализ достижения уровня качества (40мин.)
  • 10.3.6. Задачи оценки показателей качества сложных систем (20мин.)
  • Контрольные вопросы и задания (20мин.)
• Тест:  Методы экспертирования, тестирования и оценки качества ПС (20мин.)

Глава 11. Методы разработки веб-систем в Semantic Web

• 11.1. Структура Semantic Web (40мин.)
• 11.2. Задание информации в Semantic Web (80мин.)
• • 11.2.1. Базовые элементы Semantic Web (20мин.)
  • 11.2.2. Представление онтологии в Semantic Web (40мин.)
  • 11.2.3. Стандарты консорциума W3С (20мин.)
• 11.3. Веб-техно-логии (160мин.)
• • 11.3.1. Язык BPMN для спецификации бизнес-процессов (20мин.)
  • 11.3.2. Процессы и операции бизнес-процессов (20мин.)
  • 11.3.3. Типы объектов, событий и задач в BPMN (20мин.)
  • 11.3.4. Моделирование семантики бизнес-процессов (20мин.)
  • 11.3.5. ЖЦ бизнес-процессов (40мин.)
• 11.4. Веб-сервисы (200мин.)
• • 11.4.1. Базовые модели сервисов SOA и SCA (20мин.)
  • 11.4.2. Вычисление задач в Cloud computing (60мин.)
  • 11.4.3. Язык WSDL (20мин.)
  • 11.4.4. Языки RDF и OWL (40мин.)
• 11.5. Языки описания систем и протоколов Интернета (60мин.)
• • Контрольные вопросы и задания (40мин.)
• Тест:  Методы разработки веб-систем в Semantic Web (26мин.)

Глава 12. Основы Software Engineering Method and Theory

• 12.1. Основные теоретические достижения SE (140мин.)
• • 12.1.1. Определение новых дисциплин в SE (120мин.)
  • 12.1.2. Теоретические аспекты онтологии ПП (20мин.)
  • 12.1.3. Подход к обучению предмету SE (20мин.)
• 12.2. Основные сущности SEMAT. Практика, теория, образование (40мин.)
• 12.3. Задачи повышения компетенции инженеров ПС (60мин.)
• • 12.3.1. Назначение модели компетенции специалистов (20мин.)
  • 12.3.2. Понятие навыков в стандарте SWECOM (20мин.)
  • Контрольные вопросы и задания (20мин.)

Заключение

Словарь терминов ТП и SE

Список рекомендуемой литературы

Новые издания по дисциплине "Программирование" и смежным дисциплинам

Моделирование систем диаграммами UML

Приложение 1. Моделирование систем диаграммами UML

Приложение 2. Сборка систем в .NET

Приложение 3. Взаимодействие систем в Интернете

Приложение 4. Первые всесоюзные конференции по технологии программирования (1968-1992)

Завершение курса

• Тест:  Итоговое тестирование (44мин.)