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



Главная

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

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

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

English
 Home

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


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

Яndex



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


Второй семинар по теме «Технологии программирования»



12.01.2007 г. прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)

Программа семинара

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

























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