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

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

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

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

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

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

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

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

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

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

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

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

Кредиты: 7

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

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

Аннотация

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

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

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

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

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

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

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

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

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

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

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

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