Магистратура
2023/2024
Научно-исследовательский семинар "Управление жизненным циклом информационных систем" 2 курс
Статус:
Курс по выбору
Направление:
38.04.05. Бизнес-информатика
Кто читает:
Департамент бизнес-информатики
Где читается:
Высшая школа бизнеса
Когда читается:
2-й курс, 1, 2 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Зыков Сергей Викторович
Прогр. обучения:
Бизнес-информатика: цифровое предприятие и управление информационными системами
Язык:
русский
Кредиты:
6
Контактные часы:
48
Программа дисциплины
Аннотация
Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности. Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки/ специальности изучающих НИС «Объектные модели программных систем».
Цель освоения дисциплины
- Навыки математического моделирования и высокоуровневого проектирования систем на основе объектов.
- Навыки представления структуры и поведения объектных систем на основе теоретико-множественного подхода и функциональных теорий (лямбда-исчисление, комбинаторная логика, теория категорий).
- Применение методов проектирования объектных систем, включая подходы на основе функциональных языков и абстрактных машин.
- Знание и умение практически применять методы моделирования и проектирования прикладных программных систем на основе объектных моделей.
- Умение делать заключения о характеристиках качества производительности прикладных программных систем, разработанных на основе объектных моделей и поддерживающих их технологий и программных средств.
Планируемые результаты обучения
- Общее представление о программных системах, их моделировании и проектировании
- Построение концептуальных моделей программных систем на основе объектов
- Представление структуры и поведения программных систем на основе объектных моделей
- Идентификация ключевых атрибутов качества программных систем по заданному набору требований
- Формирование высокоуровневых объектных моделей программных систем по заданным атрибутам качества
- Анализ атрибутов качества программных систем при различных сценариях использования
- Знания особенностей моделей, технологий и средств разработки программных систем на основе объектных моделей
- Знание основных принципов математических моделей программных систем на основе объектов
- Умение представлять объектные модели при помощи теоретико-множественного подхода и функциональных исчислений (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)
- Знание основных компонентов лямбда-исчисления, комбинаторной логики и теории категорий
- Знание основных принципов современных теории абстрактных машин операторов реляционной алгебры
- Понимание системной архитектуры в контексте объектных моделей
- Понимание зависимостей между атрибутами качества и их связей с объектными моделями
- Понимание базовых технологий и средств разработки программных систем на основе объектных моделей
- Знание базовых принципов и методов объектно-ориентированной разработки
- Знание общих сведений о языках объектно-ориентированного и функционального программирования
- Понимание особенностей компонентного проектирования программных систем
- Понимание методов высокоуровневого моделирования и проектирования программных систем на основе объектных моделей (в т.ч. лямбда-исчисления, комбинаторной логики и теории категорий)
Содержание учебной дисциплины
- Введение в объектное моделирование и проектирование
- Основы моделирования и проектирования
- Функциональные исчисления (на примере лямбда-исчисления)
- Комбинаторы как объекты
- Языки программирования и их модели
- Категориальное моделирование
- Абстрактные машины
- Основы моделирования и проектирования современных объектных систем
Промежуточная аттестация
- 2023/2024 учебный год 2 модуль0.27 * Групповой проект + 0.27 * Промежуточный компьютерный тест + 0.19 * Работа на семинарах + 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