Joint Department with the RAS Institute for System Programming

Regular version of the site

Publications

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Book chapter

City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:: Compulsory course

When:: 2 year, 1, 2 module

Instructors

Avetisyan, Arutyun

Petrenko, Alexander K.

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

Аннотация

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

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

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

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

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

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

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

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

Доклад
Экзамен
Экзамен проводится в устной форме. Экзамен проводится на платформе 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 * Экзамен

Contacts

Research Seminar "Software Engineering: Programming Technologies"

Instructors

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

Аннотация

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

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

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

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

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

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

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

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