• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
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.

Глава в книге
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.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

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

arxiv.org. Computer Science. Cornell University, 2020

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

2020/2021
Учебный год
RUS
Обучение ведется на русском языке
7
Кредиты

Преподаватель

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

Аннотация

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

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

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

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

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

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

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

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

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