Тематический план
Программная инженерия и технологии программирования сложных систем
Раздел 1.
Технология программирования сложных систем
Тема 1.
Создание систем программирования
Тема 2.
Системы синтеза, композиции и сборки программ
Тема 3.
Технология программирования систем для ЭВМ
Тема 4.
Развитие технологии сборочного программирования
Тема 5.
Интерфейс и метод сборки в технологии программирования
Раздел 2.
Технология модульного проектирования систем
Тема 1.
Интерфейсы модулей и их функции
Тема 2.
Определение модульной структуры ПС
Тема 3.
Матричное представление графов из модулей
Тема 4.
Отношение достижимости модулей графов
Тема 5.
Операции построения модульных структур
Тема 6.
Процесс построения модульных структур
Тема 7.
Отладка и тестирование модулей
Раздел 3.
Сборочное программирование и перспективы развития
Тема 1.
Отечественные линии продуктов в АИС
Тема 2.
Перспективы развития ТП (по А. П. Ершову)
Раздел 4.
Инженерия компьютерных систем
Раздел 5.
Области знаний ядра SWEBOK
Тема 1.
Программные требования
Тема 2.
Проектирование ПО
Тема 3.
Конструирование ПО
Тема 4.
Тестирование ПО
Тема 5.
Сопровождение ПО
Тема 6.
Управление конфигурацией ПО
Тема 7.
Управление инженерией ПО
Тема 8.
Процесс SE
Тема 9.
Инструменты и методы ПО
Тема 10.
Качество ПО
Раздел 6.
Модели ЖЦ ПС
Тема 1.
Каскадные модели
Тема 2.
Итерационные модели
Раздел 7.
Парадигмы программирования SE
Тема 1.
Парадигма событийно-управляемого программирования
Тема 2.
Согласованное программирование и параллельные вычисления
Тема 3.
Парадигма ООП
Тема 4.
Agile-технологии
Раздел 8.
Инженерия изготовления ПП в Product Line
Тема 1.
Вариабельность продуктов и семейств на линиях SPLE
Тема 2.
Процессы разработки ПП в SPLE
Тема 3.
Процессы инженерии доменов
Раздел 9.
Инженерия повторного использования КПИ/Reuse
Тема 1.
Разновидности КПИ
Тема 2.
Спецификация КПИ
Раздел 10.
Подходы к созданию вариантов ПП
Раздел 11.
Моделирование изменяемых систем по К. Чернецки
Тема 1.
Основы метода генерации ПП
Тема 2.
Метод генерации доменов и приложений
Раздел 12.
Применение инженерии SPLE в системе Grid
Тема 1.
Средства разработки ПС в ETICS Grid
Тема 2.
Сборка, тестирование и конфигурация систем в ETICS
Раздел 13.
Фабрики программ и AppFab
Тема 1.
Системные AppFab
Тема 2.
Фабрики интеграции разнородных компонентов и данных
Раздел 14.
Определение вариантов КПИ в ПС и СПС
Тема 1.
Определение КПИ и модели вариантности ПС и СПС
Тема 2.
Введение вариантных характеристик в архитектуру ПС
Тема 3.
Связь варианта с точками вариации
Тема 4.
Модель КПИ с вариантами и механизмами вариации
Тема 5.
Описания внешних и внутренних связей вариантов
Раздел 15.
Базовые модели проектирования систем
Тема 1.
Модели MDD, MDA
Тема 2.
Модели систем для разных платформ PIM и PSM
Раздел 16.
Моделирование систем в языке UML
Тема 1.
Стратегия использования UML
Тема 2.
Описание в UML веб-сайта оплаты услуг
Раздел 17.
Аспекты управления вариабельностью ПС
Тема 1.
Функции управления вариабельностью
Тема 2.
Подход к разработке вариабельной СПС из КПИ
Тема 3.
Процесс сборки КПИ в современных средах
Раздел 18.
Моделирование функциональных и нефункциональных характеристик ПП
Тема 1.
Метод анализа иерархий
Тема 2.
Моделирование характеристик качества байесовской сетью
Тема 3.
Неиерархические модели качества
Тема 4.
Подход к оценке качества процессов линий
Раздел 19.
Модели представления знаний
Тема 1.
Продукционные системы
Тема 2.
Логические модели
Тема 3.
Фреймы
Тема 4.
Семантические сети
Тема 5.
Методы многомерного анализа данных
Тема 6.
Инструменты извлечения (добывания) знаний
Раздел 20.
Методы поиска и извлечения знаний
Тема 1.
Методы машинного обучения
Тема 2.
Методы извлечения знаний
Тема 3.
Применение технологии Mining к системам
Раздел 21.
Методы и языки формальной спецификации
Тема 1.
Классификация методов и языков спецификации программных систем
Тема 2.
Темпоральные и параллельные спецификации
Раздел 22.
Формальные методы спецификации моделей систем
Тема 1.
Формальное описание моделей систем в языке Z
Тема 2.
Описание базовых конструкций языка VDM
Тема 3.
Описание динамических систем концепторным языком
Раздел 23.
Формальные методы доказательства программ
Тема 1.
Подходы к доказательству правильности спецификаций
Тема 2.
Языки формальной спецификации
Тема 3.
Характеристика базовых методов доказательства
Тема 4.
Модель доказательства корректности перестановки данных в векторе
Тема 5.
Верификация и валидация программ
Раздел 24.
Подходы к верификации моделей систем и характеристик
Тема 1.
Логическое описание свойств моделей и их анализа
Тема 2.
Инструменты верификации модели FM в Product Family
Тема 3.
Корректность диаграмм характеристик онтологии OWL
Раздел 25.
Теория моделирования систем из объектов на уровнях
Тема 1.
Обобщающий уровень проектирования
Тема 2.
Структурный уровень моделирования
Тема 3.
Характеристический уровень проектирования
Тема 4.
Поведенческий уровень проектирования
Раздел 26.
Операции над классами объектов
Раздел 27.
Формальные основы объектного анализа
Раздел 28.
Определение моделей OM, ПС, MX
Раздел 29.
Теория моделирования ПС из компонентов
Тема 1.
Компонентная модель системы
Тема 2.
Формальные модели компонентного проектирования
Тема 3.
Операции над компонентами в компонентной среде
Тема 4.
Компонентная алгебра
Раздел 30.
Связь компонентной и объектной моделей
Раздел 31.
Технология конфигурационной сборки
Раздел 32.
Реализация технологии сборки в ИТК
Раздел 33.
Фундаментальные ТД в ЯП
Раздел 34.
ТД стандарта GDT
Тема 1.
Формальный синтаксис GDT
Тема 2.
Генератор сложных ТД GDT
Тема 3.
Преобразование ТД ISO/IEC 11404—96
Тема 4.
Преобразование данных для связи компонентов в ЯП
Раздел 35.
Неструктурированные ТД
Раздел 36.
Подход к решению проблемы обмена разными ТД
Тема 1.
Операции преобразования ТД
Тема 2.
Подход к генерации FDT ⇔ GDT
Раздел 37.
Практика реализации разнородных ТД
Раздел 38.
Характеристика стандартов ISO
Раздел 39.
Описание доменов средствами онтологии
Раздел 40.
Основные понятия онтологии представления ПрО
Раздел 41.
Средства проектирования доменов в DSL
Тема 1.
Структура описания домена в DSL
Тема 2.
Трансформация модели домена в DSL к ЯП
Тема 3.
Онтология домена «Вычислительная геометрия»
Тема 4.
Процессы домена ЖЦ ISO/IEC 12207
Тема 5.
Формализация онтологической модели ЖЦ
Тема 6.
Описание процессов ЖЦ средствами DSL и Protégé
Раздел 42.
Средства Protégé для представления онтологии
Тема 1.
Разработка онтологии процесса тестирования
Тема 2.
Онтология тестирования в Protégé
Тема 3.
Плагины для графического представления онтологии
Раздел 43.
Онтология КПИ
Раздел 44.
Экспертирование компонентов и систем
Тема 1.
Модель экспертизы процессов
Тема 2.
Оценка процессов
Тема 3.
Задачи экспертной оценки объектов
Тема 4.
Технология экспертного оценивания объектов ПрО
Раздел 45.
Подходы к процессу тестирования ПС и СПС
Тема 1.
Тестирование видов систем в SWEBOK
Тема 2.
Задачи процесса управления тестированием
Тема 3.
Инженерия процесса тестирования ПрО
Тема 4.
Модели тестирования СПС
Тема 5.
Задача определения оптимального времени тестирования ПС
Раздел 46.
Оценивание качества ПС и СПС
Тема 1.
Моделирование характеристик качества ПС
Тема 2.
Задачи управления качеством ПС
Тема 3.
Модель требований для обеспечения качества ПС
Тема 4.
Система прогнозирования безотказной работы ПС
Тема 5.
Анализ достижения уровня качества
Тема 6.
Задачи оценки показателей качества сложных систем
Раздел 47.
Структура Semantic Web
Раздел 48.
Задание информации в Semantic Web
Тема 1.
Базовые элементы Semantic Web
Тема 2.
Представление онтологии в Semantic Web
Тема 3.
Стандарты консорциума W3С
Раздел 49.
Веб-технологии
Тема 1.
Язык BPMN для спецификации бизнес-процессов
Тема 2.
Процессы и операции бизнес-процессов
Тема 3.
Типы объектов, событий и задач в BPMN
Тема 4.
Моделирование семантики бизнес-процессов
Тема 5.
ЖЦ бизнес-процессов
Раздел 50.
Веб-сервисы
Тема 1.
Базовые модели сервисов SOA и SCA
Тема 2.
Вычисление задач в Cloud computing
Тема 3.
Язык WSDL
Тема 4.
Языки RDF и OWL
Раздел 51.
Языки описания систем и протоколов Интернета
Раздел 52.
Основные теоретические достижения SE
Тема 1.
Определение новых дисциплин в SE
Тема 2.
Теоретические аспекты онтологии ПП
Тема 3.
Подход к обучению предмету SE
Раздел 53.
Основные сущности SEMAT. Практика, теория, образование