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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-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"





















































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