УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Программа семинара «Автоматное программирование»

1. Шалыто  А.А. (СПбГУИТМО) SWITCH-технология — технология для поддержки автоматного программирования
2. Гуров  В.С., Мазин  М.А., Нарвский  А.С. (eVelopers), Шалыто  А.А. UniMod — инструментальное средство для автоматного программирования
3. Гуров  В.С., Мазин  М.А.(eVelopers) Применение автоматов при создании приложений для мобильных устройств
4. Кузьмин  Е.В., Соколов  В.А. (Ярославский государственный университет им. П. Г. Демидова) Моделирование, спецификация и верификация «автоматных» программ
5. Васильева  К.А., Кузьмин  Е.В., Соколов  В.А. (Ярославский государственный университет им. П. Г. Демидова) Верификация автоматных программ с использованием LTL
6. Любченко  В.С. О физике автоматного параллельного программирование
7. Шопырин  Д.Г. (ЗАО Транзас Технологии) Графическая нотация наследования автоматных объектов
8. Шамгунов  Н.Н. (Microsoft), Корнеев  Г.А. (СПбГУИТМО) Паттерн State Machine (10 мин)
9. Вавилов  К.В. Программируемые логические контроллеры и автоматное программирование
10. Казаков  М.А. (Flextronics) Построение визуализаторов алгоритмов дискретной математики на основе автоматного подхода
11. Корнеев  Г.А. (СПбГУИТМО) Автоматизированный подход к построению визуализаторов на основе конечных автоматов
12. Бабаев  А.А. (ООО Инру) Автоматный интерфейс
13. Коротков  М.А., Лукьянова  А.П. (eVelopers) Применение автоматов при проектировании WEB-приложений
14. Поликарпова  Н.И. (СПбГУИТМО) Отношение наследования для типов со сложным поведением
15. Степанов  О.Г. (Jetbrains) Автоматное программирование с использованием динамических языков программирования
16. Астафуров  А.А. (DataArt) Метаописание наследования и вложения автоматных объектов в современных объектно-ориентированных языках
17. Ярцев  Б.М. (СПбГУИТМО) Проектирование систем реального времени на основе автоматного подхода
18. Царев  Ф.Н., Паращенко  Д.А.(СПбГУИТМО) Моделирование одного класса мультиагентных систем на основе автоматного подхода
19. Наумов  А.С. (СПбГУИТМО) Виртуальная машина автоматного программирования