ViewTube

Info

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