Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, Институт системного программирования РАН, Microsoft Research объявляют о начале работы научно-практического семинара «Технологии разработки и анализа программ».
Заседания семинара будут посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ. В список тем семинара входят:
- Извлечение, анализ и моделирование требований
- Парадигмы моделирования вычислительных систем
- Методы проектирования систем
- Архитектуры программных систем
- Статический и динамический анализ программ
- Динамическая верификация и мониторинг
- Автоматизация построения тестов
- Анализ полноты тестирования
- Моделирование, измерение и тестирование производительности
- Анализ защищенности и безопасности вычислительных систем
- Интеграция различных методов верификации
- Проблемы внедрения новых технологий в практику разработки
- Вопросы обучения технологиям разработки и анализа программ
Семинар рассчитан на студентов, аспирантов и их руководителей, а также практиков и специалистов из индустрии. О планах активно принимать участие в семинаре заявили представители компаний Intel, Microsoft, Яндекс и др.
Заседания семинара проходят раз в месяц по четвергам в 18:00, на факультете ВМК во 2-ом учебном корпусе МГУ.
Очередное заседание семинара
15 апреля 2010 года, аудитория П-14, начало в 18:00
Материалы прошедших семинаров
18 марта 2010 года
Тема доклада: Технологии разработки прикладного ПО для
реконфигурируемых вычислительных структур (ПЛИС),
PDF (205Кб),
ZIP (80Кб)Докладчик: Лацис Алексей Оттович (ИПМ РАН)
18 февраля 2010 года
Тема доклада: Технологии и инструментальные средства разработки прикладного программного обеспечения критических по безопасности систем, PDF (1677Кб)
Докладчик: к.ф.-м.н. Денис Владимирович Иванов (MBA, старший научный сотрудник ЛВМ Механико-математического ф-та МГУ, первый вице-президент ОАО «Корпорация "Русские системы"»)
21 января 2010 года
Тема доклада: Формализация интерфейсных стандартов на практике, PDF (1545Кб)
Докладчик: Виктор Кулямин (ИСП РАН)
17 декабря 2009 года
Тема доклада: Использование статического анализа для поиска дефектов программного кода, PDF (148Кб)
Докладчики: Александр Волков, Сергей Марков (ИСП РАН)
26 ноября 2009 года
Тема доклада: Анализ поведения программ, PDF (543Кб)
Докладчик: проф. Руслан Леонидович Смелянский (ВМК МГУ)
Группа, список рассылки и обсуждение