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

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

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

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

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

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

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

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