Институт системного программирования им. В.П. Иванникова РАН


Московский городской семинар по Технологиям разработки и анализа программ

Заседания семинара посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. В список тем семинара входят:

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

Семинар рассчитан на студентов, аспирантов и их руководителей, а также практиков и специалистов из индустрии. О планах активно принимать участие в семинаре заявили представители компаний Intel, Microsoft, Яндекс и др.

Сайт семинара - ТРАП

Мероприятие группы

Технологии программирования

Перейти к списку мероприятий ИСП РАН