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

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

Лучший по критерию «Полезность курса для Вашей будущей карьеры»

Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»

Лучший по критерию «Новизна полученных знаний»

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

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

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

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

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

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

Преподаватели: Петренко Александр Константинович

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

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

Кредиты: 8

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

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

Аннотация

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

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

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

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

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

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

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

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

Экзамен
Доклад
Экзамен
Доклад

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

Промежуточная аттестация (2 модуль)
0.5 * Доклад + 0.5 * Экзамен

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