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

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

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

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

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

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

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

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

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

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

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

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

Кредиты: 8

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

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

Аннотация

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

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

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

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

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

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

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

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

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

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

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

Список литературы

Авторы

Петрухина Анастасия Сергеевна

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