• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Simulating Petri Nets with Inhibitor and Reset Arcs
В печати

Pavel Pertsukhov, Mitsyuk A. A.

Proceedings of the Institute for System Programming of the RAS. 2019.

Глава в книге
A Method to Improve Workflow Net Decomposition for Process Model Repair
В печати

Semyon E. Tikhonov, Mitsyuk A. A.

In bk.: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

О департаменте

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

Руководитель департамента – к.т.н., профессор Сергей Михайлович Авдошин.  В состав департамента входят более 50 сотрудников, среди которых 15 профессоров,  20 доцентов, 5 старших преподавателей и 8 преподавателей.

Департамент обеспечивает преподавание дисциплин профессионального цикла студентам образовательной программы бакалавриата «Программная инженерия» и образовательной программы магистратуры «Системная и программная инженерия».

Подготовка ведется в соответствии с международными стандартами в области информационных технологий:

  • Computer Science Curricula 2013/Curriculum Guidelines for Undergraduate Degree Programs in Computer Science
  • Integrated Software and Systems Engineering Curriculum - Graduate Software Engineering 2009 (GSwE2009): Curriculum Guidelines for Graduate Degree Programs in Software Engineering
  • ISO/IEC JTC1/SC7 Software and Systems Engineering Committee
  • Guide to the Software Engineering Body of Knowledge (SWEBOK Version 3)
  • SEMAT (Software Engineering Method and Theory) initiated by Ivar Jacobson, Bertrand Meyer and Richard Soley
  • IEEE CS certification CSDA, CSDP & CSDM

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