Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, Институт системного программирования РАН, Microsoft Research объявляют о начале работы научно-практического семинара «Технологии разработки и анализа программ».
Заседания семинара будут посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. В список тем семинара входят:
- Извлечение, анализ и моделирование требований
- Парадигмы моделирования вычислительных систем
- Методы проектирования систем
- Архитектуры программных систем
- Статический и динамический анализ программ
- Динамическая верификация и мониторинг
- Автоматизация построения тестов
- Анализ полноты тестирования
- Моделирование, измерение и тестирование производительности
- Анализ защищенности и безопасности вычислительных систем
- Интеграция различных методов верификации
- Проблемы внедрения новых технологий в практику разработки
- Вопросы обучения технологиям разработки и анализа программ
Семинар рассчитан на студентов, аспирантов и их руководителей, а также практиков и специалистов из индустрии. О планах активно принимать участие в семинаре заявили представители компаний Intel, Microsoft, Яндекс и др.
Заседания семинара проходят раз в месяц по четвергам в 18:00, на факультете ВМК во 2-ом учебном корпусе МГУ в аудитории П-13.
Более подробную информацию о работе семинара, докладах и архив с материалами ищите на специальном сайте. Кроме того, организована видео-трансляция с заседаний семинара.
Cайт семинара
Группа, список рассылки и обсуждение