Skip navigation links
Блог лаборатории
Eugene Nourminsky
Dmitry Grechka
Проекты
ChronoZoom
Digital Workbook
Dynamic Data Display
Solvers
Космические проекты
Live@EDU на ВМК
Мероприятия
КурсыExpand Курсы
Семинар «Технологии разработки и анализа программ»
О лаборатории
Обратная связь
Семинар «Технологии разработки и анализа программ» 

Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, Институт системного программирования РАН, Microsoft Research объявляют о начале работы научно-практического семинара «Технологии разработки и анализа программ».

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

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

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

Заседания семинара проходят раз в месяц по четвергам в 18:00, на факультете ВМК во 2-ом учебном корпусе МГУ в аудитории П-13.

Более подробную информацию о работе семинара, докладах и архив с материалами ищите на специальном сайте. Кроме того, организована видео-трансляция с заседаний семинара.

Cайт семинара

Группа, список рассылки и обсуждение