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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Семинары / Программа семинара «Автоматное программирование» (версия для печати)


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



Программа семинара «Автоматное программирование», который проводился в рамках Международного Симпозиума по Информатике в России Computer Science in Russia (CSR 2006) (http://logic.pdmi.ras.ru/~csr2006/rus/)
12 июня 2006 года, Санкт-Петербург, Россия Организаторы: С.-Петербургское отделение Математического института им. В.А.Стеклова РАН и Международный Математический Институт им. Эйлера
  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. Наумов  А.С. (СПбГУИТМО) Виртуальная машина автоматного программирования



© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com