Бакалавриат
2022/2023
Научно-исследовательский семинар "Объектные модели программных систем"
Статус:
Курс по выбору (Программная инженерия)
Направление:
09.03.04. Программная инженерия
Кто читает:
Департамент программной инженерии
Где читается:
Факультет компьютерных наук
Когда читается:
4-й курс, 1-3 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Зыков Сергей Викторович
Язык:
русский
Кредиты:
3
Контактные часы:
44
Программа дисциплины
Аннотация
Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности. Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки/ специальности изучающих НИС «Объектные модели программных систем».
Цель освоения дисциплины
- Навыки математического моделирования и высокоуровневого проектирования систем на основе объектов.
- Навыки представления структуры и поведения объектных систем на основе теоретико-множественного подхода и функциональных теорий (лямбда-исчисление, комбинаторная логика, теория категорий).
- Применение методов проектирования объектных систем, включая подходы на основе функциональных языков и абстрактных машин.
- Знание и умение практически применять методы моделирования и проектирования прикладных программных систем на основе объектных моделей.
- Умение делать заключения о характеристиках качества производительности прикладных программных систем, разработанных на основе объектных моделей и поддерживающих их технологий и программных средств.
Планируемые результаты обучения
- Общее представление о программных системах, их моделировании и проектировании
- Построение концептуальных моделей программных систем на основе объектов
- Представление структуры и поведения программных систем на основе объектных моделей
- Идентификация ключевых атрибутов качества программных систем по заданному набору требований
- Формирование высокоуровневых объектных моделей программных систем по заданным атрибутам качества
- Анализ атрибутов качества программных систем при различных сценариях использования
- Знания особенностей моделей, технологий и средств разработки программных систем на основе объектных моделей
- Знание основных принципов математических моделей программных систем на основе объектов
- Умение представлять объектные модели при помощи теоретико-множественного подхода и функциональных исчислений (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)
- Знание основных компонентов лямбда-исчисления, комбинаторной логики и теории категорий
- Знание основных принципов современных теории абстрактных машин операторов реляционной алгебры
- Понимание системной архитектуры в контексте объектных моделей
- Понимание зависимостей между атрибутами качества и их связей с объектными моделями
- Понимание базовых технологий и средств разработки программных систем на основе объектных моделей
- Знание базовых принципов и методов объектно-ориентированной разработки
- Знание общих сведений о языках объектно-ориентированного и функционального программирования
- Понимание особенностей компонентного проектирования программных систем
- Понимание методов высокоуровневого моделирования и проектирования программных систем на основе объектных моделей (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)
Содержание учебной дисциплины
- Введение в объектное моделирование и проектирование
- Основы моделирования и проектирования
- Функциональные исчисления (на примере лямбда-исчисления)
- Комбинаторы как объекты
- Языки программирования и их модели
- Категориальное моделирование
- Абстрактные машины
- Основы моделирования и проектирования современных объектных систем
Промежуточная аттестация
- 2022/2023 учебный год 3 модуль0.27 * Промежуточный компьютерный тест + 0.19 * Работа на семинарах + 0.27 * Групповой проект + 0.27 * Экзамен
Список литературы
Рекомендуемая основная литература
- Зыков С.В. - ПРОГРАММИРОВАНИЕ. ФУНКЦИОНАЛЬНЫЙ ПОДХОД. Учебник и практикум для академического бакалавриата - М.:Издательство Юрайт - 2016 - 164с. - ISBN: 978-5-9916-8217-6 - Текст электронный // ЭБС ЮРАЙТ - URL: https://urait.ru/book/programmirovanie-funkcionalnyy-podhod-394030
Рекомендуемая дополнительная литература
- Основы объектного программирования на C#(С#3.0, Visual Studio 2008) : учеб. пособие, Биллиг, В. А., 2010