Третий семинар по программной инженерии, проводимый кафедрой "Технологий программирования" СПбГУ ИТМО, в честь посещения университета лауреатом премии 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"
