Научно-исследовательский семинар "Программная инженерия: технологии программирования"

Магистратура 2021/2022

Статус: Курс обязательный (Системное программирование)

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

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

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

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

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

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

Преподаватели: Аветисян Арутюн Ишханович, Петренко Александр Константинович

Прогр. обучения: Системное программирование

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

Кредиты: 8

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

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

Аннотация

Научно-исследовательский семинар "Программная инженерия: технологии программирования" рассматривает основные проблемы и задачи разработки системного программного обеспечения, а также вопросы стандартизации процессов разработки и обеспечения качества программных систем. Основная форма работы семинара, это доклады его участников, на которых происходит обсуждение рассматриваемых научных и практических вопросов разработки системного программного обеспечения.

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

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

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

Знать основные методы управления требованиями и методы проектирования на основе моделей
Знать основные стандарты разработки ПО.
Иметь представление о характеристиках качества ПО
Иметь представление об управлении требованиями и об использовании моделей в жизненном цикле ПО.
Знать основные методы конструирования компиляторов
Знать основные подходы в проектировании, тестировании и верификации на основе моделей.
Иметь представление о конструировании операционных систем
Иметь представление о системном программировании как о научной дисциплине
Иметь представление об архитектурах вычислительных машин

Содержание учебной дисциплины

Характеристики качества программных систем.
Предмет и методы системного программирования
Управление требованиями. Методы проектирования программ на основе моделей.
Вычислительные машины
Методы проектирования программ на основе моделей. Методы верификации моделей и методы тестирования реализаций на основе моделей.
Инструменты поддержки жизненного цикла ПО. Управление требованиями. Методы проектирования программ на основе моделей
Стандарты на процессы разработки ПО, стандарты качества.
Методы верификации. Тестирование на основе моделей
Языки и компиляторы
Операционные системы

Элементы контроля

Доклад
Экзамен
Экзамен проводится в устной форме. Экзамен проводится на платформе meet.jit.si. К экзамену необходимо подключиться за 5 минут до начала. Для участия в экзамене студент обязан: включить камеру и микрофон. Во время экзамена студентам разрешено пользоваться учебными материалами. Кратковременным нарушением связи во время экзамена считается 5-минутное отсутствие связи. Долговременным нарушением связи во время экзамена считается 15-минутное отсутствие связи. При долговременном нарушении связи студент не может продолжить участие в экзамене. Процедура пересдачи аналогична процедуре сдачи.
Экзамен
Доклад
Экзамен
Доклад

Промежуточная аттестация

2020/2021 учебный год 1 модуль
0.5 * Экзамен + 0.5 * Доклад
2020/2021 учебный год 4 модуль
0.5 * Доклад + 0.5 * Экзамен
2021/2022 учебный год 2 модуль
0.5 * Доклад + 0.5 * Экзамен

Программа дисциплины