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

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

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

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

Rodriges Zalipynis R. A.

St. Petersburg: Naukoemkie Technologii, 2024.

Статья
Merging Directly-Follows Graphs and Sankey Diagrams for Visualizing Acyclic Processes
В печати

Derezovskiy I., Shaimov N., Lomazova I. A. et al.

Proceedings of the Institute for System Programming of the RAS. 2024. Vol. 36.

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

Названы победители конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году

Статья Константина  Дегтярева, доцента департамента программной инженерии, и Михаила Носовского, студента 4 курса ОП "Программная инженерия" Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them признана победителем конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году.

Труды ИСП РАН
 – это издание с двойной анонимной системой рецензирования, публикующее научные статьи, которые относятся ко всем областях системного программирования, технологий программирования и вычислительной техники. Целью издания является формирование научно-информационной среды в этих областях путем публикации высококачественных статей в открытом доступе.

Издание предназначено для исследователей, студентов и аспирантов, а также практиков. Оно охватывает широкий спектр тем, включая, в частности, следующие:

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