• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7(495) 772-95-90 *28240

Руководство
Научный руководитель направления “Программная инженерия" Аветисян Арутюн Ишханович
Руководитель департамента Лебедев Сергей Аркадьевич
Заместитель руководителя департамента Шершаков Сергей Андреевич
Статья
Систематический обзор методов составления тестовых инвариантов

Якушева С. Ф., Хританков А. С.

Программные системы: теория и приложения. 2024. Т. 15. № 2. С. 37-86.

Глава в книге
Metamorphic Testing for Recommender Systems

Sofia Iakusheva, Anton Khritankov.

In bk.: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, 2023, Revised Selected Papers. Yerevan: Springer, 2024. P. 281-293.

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

Ведущее учебно-методическое и научное подразделение, обеспечивающее преподавание дисциплин профессионального цикла студентам образовательной

программы бакалавриата «Программная инженерия» и образовательных программ магистратуры «Системное программирование» и «Системная и программная инженерия».

Руководитель департамента – доцент Сергей Аркадьевич Лебедев  

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

  • 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

В департаменте ведутся исследования по различным научным направлениям, в число которых входят:

Анализ и моделирование бизнес-процессов

– Формальные модели распределенных систем 

– Нечеткая логика

– Архитектура вычислительных систем

– Компиляторные технологии 

– Средства анализа и разработки программного обеспечения 

– Базы данных 

– Математическое моделирование

– Нейросетевые технологии

– Технологии искусственного интеллекта 

– Блокчейн-технологии 

– Процессно-ориентированные информационные системы 

– Человеко - машинное взаимодействие

– Разработка компьютерных игр

– Системное программирование 

– Облачные и мобильные технологии