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

Научная деятельность по автоматному программированию за 2006 год

1. Шалыто А.А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия РАН. Теория и системы управления. 2006. № 1, с.78–81.
2. Шалыто А.А. Автоматное программирование //Известия Уральского государственного университета. 2006. № 43. (Компьютерные науки и информационные технологии. Вып.1), с.181–190.
3. Шалыто А.А. О проекте "Технология автоматного программирования: применение и инструментальные средства" //Информационные технологии. 2006. № 2, с.79.
4. Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология //Промышленные АСУ и контроллеры. 2006. № 6, с.43–45.

1. Мазин М.А., Шалыто А.А. Анимация. Flash-технология. Автоматы //Информатика. 2006. № 11, с.36–47.
2. Наумов Л. Обзор программного обеспечения для решения задач с использованием клеточных автоматов. Причины возникновения проекта CAME&L //Телекоммуникации и информатизация образования. 2006. №2(33), с.32–43.
3. Оршанский С.А., Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах //Компьютерные инструменты в образовании. 2006. № 4, с.26–35.
4. Корнеев Г.А., Шалыто А.А. Автоматизированное построение визуализаторов алгоритмов дискретной математики //Компьютерные инструменты в образовании. 2006. № 5, с. 16-26.

1. Shopyrin D. Multimethods in C++ Using Recursive Deferred dispatching //IEEE Software. 2006. May/June, pp.62–73.

1. Канжелев С.Ю., Шалыто А.А. Преобразование графов переходов, представленных в формате Microsoft Visio, в исходные коды программ для различных языков программирования (инструментальное средство MetaAuto) //Мир ПК– Диск. 2006. № 1, 77 с.
2. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России // Мир ПК– Диск. 2006. № 3. 5 с.
3. Вишняков С., Кочелаев Д., Шалыто А. "Устройство" для карточной игры "Покер" //Мир ПК–Диск. 2006. № 5. 20 с.
4. Джанмухамедов В., Хвастунов А., Шалыто А. Визуализация сборки "Кубика Рубика" //Мир ПК–Диск. 2006. № 5. 71 с.
5. Колыхматов И., Рыбак О., Шалыто А. Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod //Мир ПК– Диск. 2006. № 6. 50 с.
6. Паращенко Д., Царев Ф., Шалыто А. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры "Соревнование летающих тарелок" //Мир ПК– Диск. 2006. № 9. 62 с.

1. Гуров В.С., Мазин М.А., Шалыто А.А. Ядро автоматного программирования //Свидетельство об официальной регистрации программы для ЭВМ. № 2006 613249 от 14.09.2006.

1. Гуров В.С., Мазин М.А., Нарвский В.С., Парфенов В.Г., Шалыто А.А. UniMod – инструментальное средство для поддержки автоматного программирования /Материалы X Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования в технических университетах". СПбГПУ. 2006, с.481–488.
2. Гуров В.С., Мазин М.А., Парфенов В.Г. Графический отладчик UML-диаграмм состояний в программном пакете UniMod //XIII Всероссийской научно-технической конференции "Телематика-2006". СПб.: СПбГУ ИТМО. 2006. http://tm.ifmo.ru/tm2006/db/doc/get_thes.php?id=302
3. Наумов Л. Сравнение специализированных сетевых протоколов CTP (Commands Transfer Protocol) и IL (Internet Link) //Труды XIII Всероссийской научно-методической конференции "Телематика-2006". Том 1. СПбГУ ИТМО. 2006, с.78,79.
4. Гуров В.С., Мазин М.А., Нарвский В.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования /Рабочий семинар "Наукоемкое программное обеспечение" на шестой международной конференции "Перспективы систем информатики". Новосибирск: Институт проблем информатики имени А.П. Ершова СО РАН. 2006, с.52–54.
5. Гуров В.С., Мазин М.А., Нарвский В.С., Шалыто А.А. UniMod – инструментальное средство для автоматного программирования /Материалы Третьей Международной конференции по проблемам управления. М.: Институт проблем управления. 2006, с.224–227.
6. Аничкин И.М. Применение нейронной сети для управления мотоциклом /Материалы Третьей Международной конференции по проблемам управления. М.: Институт проблем управления. 2006, с. 285–288.
7. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования /Материалы третьей международной научной молодежной школы "Высокопроизводительные вычислительные системы. ВПВС-2006. Таганрог: НИИ МВС ТРТУ. 2006, с.224–229.
8. Ярцев Б.М., Шалыто А.А. Автоматный подход к разработке эмуляторов реактивных мультиагентных систем /Материалы третьей международной научной молодежной школы "Высокопроизводительные вычислительные системы. ВПВС-2006. Таганрог: НИИ МВС ТРТУ. 2006, с.229–234.
9. Царев Ф.Н., Шалыто А.А. Гибридное управление беспилотными летательными объектами на основе автоматного программирования /1-я Российская мультиконференция по проблемам управления. Сборник докладов четвертой научной конференции "Управление и информационные технологии". СПГУ ЭТУ "ЛЭТИ". 2006, с.138– 144.
10. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечного автомата в задаче о "флибах" /1-я Российская мультиконференция по проблемам управления. Сборник докладов четвертой научной конференции "Управление и информационные технологии". СПГУ ЭТУ "ЛЭТИ". 2006, с. 144–149.
11. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Применение автоматного программирования при моделировании одного класса мультиагентных систем //Материалы девятой международной конференции "Интеллектуальные системы и компьютерные науки". М.: МГУ. 2006. Т.2, с.352–355.
12. Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением /Сборник материалов Всероссийского конкурса инновационных проектов аспирантов и студентов по приоритетному направлению науки и техники "Информационно-телекоммуникационные системы". М.: Федеральное агентство по науке и инновациям РФ. 2006, с.170,171.
13. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Технология моделирования одного класса мультиагентных систем на основе автоматного программирования /Материалы седьмой международной научно-технической конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы". Том 2. Таганрог: ТРТУ. 2006, с.116–121.
14. Ярцев Б.М., Шалыто А.А. Автоматный подход к разработке эмуляторов реактивных мультиагентных систем /Материалы седьмой международной научно-технической конференции "Искусственный интеллект. Интеллектуальные и многопроцессорные системы". Том 2. Таганрог: ТРТУ. 2006, с.121–126.
15. Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.43–46.
16. Шопырин Д.Г., Шалыто А.А. A Graphical Notion of State-Based Classes Inheritance /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.20–23.
17. Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.60–63.
18. Поликарпова Н.И. Object-Oriented Approach to Modeling and Specifications /Software Engineering Conference (Russia) "Paths to Competitive Advantage" (SECR 2006). М.: 2006, с.13–19.
19. Паращенко Д.А., Шалыто А.А, Царев Ф.Н. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летальных объектов /Навигация и гироскопия. 2006. N4, с.110. Рефераты докладов на XXV конференции памяти Н.Н.Острякова. ГНЦ РФ ЦНИИ "Электроприбор". Конференция проходила в рамках 1-я Российской мультиконференции по проблемам управления.

1. Shalyto A., Shamgunov N., Korneev G. State Machine Design Pattern //.NET Technologies 2006 – Shot communication papers conference proceedings. 4-th International Conference in Central Europe on .NET Technologies. University of West Bohemia. 2006, pp.51– 58.
2. Paraschenko D., Shalyto A., Tsarev F. Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming /Proceedings of 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (CIMSA-2006). La Coruna. Spain. 2006, pp.15– 20. VIII. Проведение семинаров (без публикации трудов)
3. Семинар "Автоматное программирование". Семинар проводился в рамках Международного Симпозиума по Информатике в России (Computer Science in Russia – CSR 2006), проводимого С.-Петербургским отделением математического института им. В.А. Стеклова РАН и Международным математическим институтом им. Л.Эйлера.
   http://is.ifmo.ru/seminar/autprsem/ (заслушано 19 докладов)
4. Семинар с Бертраном Мейром на тему: “Работы по программной инженерии, проводимые на кафедре „Технологии программирования“ СПбГУ ИТМО”.
   http://is.ifmo.ru/seminar/_meyerprog.pdf (заслушано 12 докладов).

1. Шалыто А.А. Триединая задача одного педагогического эксперимента в области IT-образования //Открытое образование. 2006. № 1, с.82– 85.
2. Шалыто А.А. Бертран Мейер – почетный доктор СПбГУ ИТМО //Компьютер-информ. 2006. № 15, с.6. Статья размещена сайте http://www.ci.ru
3. Шалыто А.А. Будут ли в России ИТ-ученые в XXI-веке? //Мир ПК-Диск. 2006. № 1, 4 с. 4. Гуров В.С., Нарвский А.С., Шалыто А.А. Исполняемый UML из России //Мир ПК– Диск. 2006. № 3. – 5 с.
4. Шалыто А.А. Как это было, или Почему раньше хорошо учили вычислительной технике //МирПК– Диск. 2006. № 1. – 6 с.
5. Шалыто А.А. Прикольно, гламурно, пафосно //Компьютерра. 2006. № 11(631), с.38; Мир ПК–Диск. 2006. № 5. – 2 c.
6. Шалыто А.А. Информация или дух //Компьютерра. 2006. № 12(632), с.94,95.
7. Об автоматном программировании. Врезка в статью "Субъектное программирование" //Компьютерра. 2006. № 13(633), с.47.
8. Шалыто А.А. Дает ли современный российский университет современные знания //Компьютерра. 2006. № 15(635), с.64, 65.
9. Шалыто А.А. Термин в клетке //Компьютерра. 2006. № 16(636), с.60, 61.
10. Шалыто А.А. Почему холопы плохо работают? //Компьютерра. 2006. № 19(639), с.66, 67.
11. Шалыто А.А. Почему у нас трудности с инновациями //Компьютерра. 2006. № 20(640), с.26, 27.
12. Шалыто А.А. Должен ли народ знать своих героев? //Компьютерра: Северо-Запад. 2006. № 20(640), с.1,2.
13. Шалыто А.А. Об оценке профессионалами //Компьютерра. 2006. № 27–28 (647– 648), с. 56,57. Мир ПК– Диск. 2006. № 8. – 2 с.
14. Шалыто А.А. Образование и наука – фундамент университета //Университет ИТМО. 2006. № 72, с.3.
15. Шалыто А.А. ИТ-образование: острых проблем еще очень много //PC WEEK/RE. 2006. № 14, с.52,53.
16. Шалыто А.А. Как правильно? //PC WEEK/RE. 2006. № 37, с.52.
17. Шалыто А.А. Кому нужны ИТ-таланты //PC WEEK/RE. 2006. № 39, с.59.
18. Шалыто А.А. Победы и проблемы российской школы программирования //PC WEEK/RE. 2006. 47, с.42,45.
19. Парфенов В.Г., Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/2006 в Сан-Хосе (США) //Компьютерные инструменты в образовании. 2006. № 2, с.25–33.
20. Шалыто А.А. Бертран Мейер – почетный доктор СПбГУ ИТМО //Компьютерные инструменты в образовании. 2006. № 3, с.3–6.

1. Корнеев Георгий Александрович. Автоматизация построения визуализаторов дискретной математики на основе автоматного подхода. Руководитель – Шалыто Анатолий Абрамович.

1. Шалыто А.А. включен в книгу "Выдающиеся выпускники и деятели Санкт-Петербургского государственного электротехнического университета "ЛЭТИ" имени В.И. Ульянова (Ленина). СПб.: Изд-во СПбГЭТУ "ЛЭТИ" им. В.И. Ульянова (Ленина).2006, с.299.
2. Царев Ф.Н. получил стипендию Правительства Санкт-Петербурга. http://www.spbdnevnik.ru/?show=article&id=1023