Научно-исследовательский семинар "Объектные модели программных систем"

Бакалавриат 2022/2023

Статус: Курс по выбору (Программная инженерия)

Направление: 09.03.04. Программная инженерия

Кто читает: Департамент программной инженерии

Где читается: Факультет компьютерных наук

Когда читается: 4-й курс, 1-3 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для своего кампуса

Преподаватели: Зыков Сергей Викторович

Язык: русский

Кредиты: 3

Контактные часы: 44

Полная версия программы учебной дисциплины

Аннотация

Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности. Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки/ специальности изучающих НИС «Объектные модели программных систем».

Цель освоения дисциплины

Навыки математического моделирования и высокоуровневого проектирования систем на основе объектов.
Навыки представления структуры и поведения объектных систем на основе теоретико-множественного подхода и функциональных теорий (лямбда-исчисление, комбинаторная логика, теория категорий).
Применение методов проектирования объектных систем, включая подходы на основе функциональных языков и абстрактных машин.
Знание и умение практически применять методы моделирования и проектирования прикладных программных систем на основе объектных моделей.
Умение делать заключения о характеристиках качества производительности прикладных программных систем, разработанных на основе объектных моделей и поддерживающих их технологий и программных средств.

Планируемые результаты обучения

Общее представление о программных системах, их моделировании и проектировании
Построение концептуальных моделей программных систем на основе объектов
Представление структуры и поведения программных систем на основе объектных моделей
Идентификация ключевых атрибутов качества программных систем по заданному набору требований
Формирование высокоуровневых объектных моделей программных систем по заданным атрибутам качества
Анализ атрибутов качества программных систем при различных сценариях использования
Знания особенностей моделей, технологий и средств разработки программных систем на основе объектных моделей
Знание основных принципов математических моделей программных систем на основе объектов
Умение представлять объектные модели при помощи теоретико-множественного подхода и функциональных исчислений (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)
Знание основных компонентов лямбда-исчисления, комбинаторной логики и теории категорий
Знание основных принципов современных теории абстрактных машин операторов реляционной алгебры
Понимание системной архитектуры в контексте объектных моделей
Понимание зависимостей между атрибутами качества и их связей с объектными моделями
Понимание базовых технологий и средств разработки программных систем на основе объектных моделей
Знание базовых принципов и методов объектно-ориентированной разработки
Знание общих сведений о языках объектно-ориентированного и функционального программирования
Понимание особенностей компонентного проектирования программных систем
Понимание методов высокоуровневого моделирования и проектирования программных систем на основе объектных моделей (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)