Второй семинар по теме «Технологии программирования»
12.01.2007 г. прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)
Программа семинара
1. Шалыто А. А. Автоматная парадигма программирования.
2. Гуров В.С., Мазин М. А. Инструментальное средство UniMod для поддержки автоматного программирования.
3. Гуров В.С., Мазин М. А. Текстовый язык автоматного программирования.
4. Царев Ф. Н. Применение инструментального средства UniMod для проектирования мультиагентной системы управления беспилотными летательными объектами.
5. Поликарпова Н. И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением.
6. Маврин П. Ю. Детерминизм в диаграммах состояний.
7. Степанов О. Г., Шопырин Д. Г. Динамические контракты в объектно-ориентированном программировании.
8. Князев Е. Г. Анализ динамических метрик программ.
9. Мейер Б. Проблемы объектно-ориентированного программирования.
