Research Seminar "Software Engineering: Programming Technologies"

2020/2021

Academic Year

RUS

Instruction in Russian

7

ECTS credits

Delivered by:

Joint Department with the RAS Institute for System Programming

Type:

Compulsory course

When:

1 year, 1-4 module

Instructor

Petrenko, Alexander K.

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

Аннотация

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

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

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

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

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

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

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

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

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

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

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

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

Рекомендуемая основная литература

• Искусство программирования. Т.1: Основные алгоритмы, Кнут, Д. Э., 2011
• Структуры данных и алгоритмы, Ахо, А. В., 2010

Рекомендуемая дополнительная литература

• Baier, C., & Katoen, J.-P. (2008). Principles of Model Checking. Cambridge, Mass: The MIT Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=226091
• Patrick Baudin, Jean-christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy, Virgile Prevosto, & Inria Saclay Île-de-france. (2008). ANSI C Specification Language. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.E562D7C2
• Verification of Sequential and Concurrent Programs. (2009). Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsnar&AN=edsnar.oai.cwi.nl.14569