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

Новости
Новости науки
Важное
Почетные доктора
Инновации
Культура
Люди
Разное
Скартел-Yota
Стрим
Смольный

Учебный процесс

Образование
Дипломы
Курсовые проекты
Лабораторные работы
Учебные курсы
Визуализаторы
Unimod-проекты
Семинары
Стипендии

Наука

События и факты
Госконтракты
Статьи
Диссертации
Книги
Презентации
Свидетельства
Сотрудничество

Исследования

Автоматы
Верификация
Биоинформатика
Искусственный интеллект
Генетические алгоритмы
Движение
UniMod
Роботы и агенты
Нейронные сети
ФЦП ИТМО-Аалто
Разное

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

Беллетристика
Мотивация
Мысли

Медиа

Видео
Фотографии
Аудио
Интервью

English

Home

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

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

Яndex

Главная / Семинары / Семинар с Бертраном Мейером (версия для печати)

Семинар с Бертраном Мейером

Третий семинар по программной инженерии, проводимый кафедрой "Технологий программирования" СПбГУ ИТМО, в честь посещения университета лауреатом премии ACM 2006 года, профессором Бертраном Мейером (Bertrand Meyer) "ETH Zurich"

1. Шалыто А. А. Вступительное слово.
2. Мейер Б. Доклад.
3. Поликарпова Н. Динамический вывод утверждений в языке программирования с поддержкой проектирования по контракту (на примере языка Eiffel) (Dynamic assertion inference in a language with Design-by-contract support).
4. Klebanov A. Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code.
5. Astafurov A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages.
6. Davydov A., Sokolov D., Tsarev F. Application of Genetic Algorithms for Construction of Moore Automaton and Systems of Interacting Mealy Automata in "Artificial Ant" Problem.
7. Stepanov O. A Method for Automatic Runtime Verification of Automata-Based Programs.
8. Knyazev E. Automated Source Code Changes Classification in Software Development Process Management.
9. Mandrikov E., Kulev V. Development of Software System for State Machine Generation Using Genetic Algorithms.
10. Kochelaev D., Khasanzyanov B., Yaminov B. Instrumental Tool for Automata Based Software Development UniMod 2.
11. Kurbatsky E. Verification of automata-based programs.
12. Бедный Ю. Применение генетических алгоритмов для программной реализации системы управления танком в игре "Robocode"