О семинаре

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

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

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

Заседания семинара проходят раз в месяц по четвергам в 17:00, в Институте системного программирования РАН в аудитории 111.

Если вы хотите выступить на семинаре, напишите об этом Александру Константиновичу Петренко.