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

Научная работа за 2007 год

• Лот 12. "Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ". Тема "Технология генетического программирования для генерации автоматов управления системами со сложным поведением" (шифр "2007-4-1.4-18-01-033").
• Лот 13. "Разработка технологий верификации программного обеспечения". Тема "Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода" (шифр "2007-4-1.4-18-02-041").

1. Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов //Программирование. 2007. № 5, с. 62-74.
2. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах //Известия РАН. Теория и системы управления. 2007. № 5, с. 127-136.
3. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования //Программирование. 2007. №6, с. 65-80.
4. Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя //Нейрокомпьютеры: разработка, применение. 2007. №9, с. 372-379.
5. Степанов О.Г., Шалыто А.А., Шопырин Д.Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY //Информационно- управляющие системы. 2007. №4, с. 22-27.

1. Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров //Промышленные АСУ и контроллеры. 2007. №1, с. 49–51.
2. Вельдер С.Э., Шалыто А.А. О верификации простых автоматных программ на основе метода "Model Checking" //Информационно-управляющие системы. 2007. №3, с. 27–38.
3. Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ //Компьютерные инструменты в образовании. 2007. №5, с. 62-67.
4. Коротков М. А. Алгоритмы укладки диаграмм состояний //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 169-176. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.10.pdf
5. Рубинов К. В. Подход к тестированию программных интерфейсов приложений мобильных устройств //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 177-187. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.11.pdf
6. Князев Е.Г., Шопырин Д.Г. Анализ изменений программного кода методом кластеризации метрик //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 197-208. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.13.pdf
7. Сытник С.А. Создание автоматных веб-приложений //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 209-214. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.14.pdf
8. Лобанов П.Г. Использование генетических алгоритмов для решения задачи об "умном муравье" //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 215-221. http://vestnik.ifmo.ru/ntv/39/ntv_39.2.15.pdf
9. Поликарпова Н.И., Точилин В.Н. Применение генетического программирования для реализации систем со сложным поведением //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 276-293. http://vestnik.ifmo.ru/ntv/39/ntv_39.3.3.pdf
10. Раер М.Г. Автоматное расширение языка C# //Научно-технический вестник. Вып. 39. Исследования в области информационных технологий. Труды молодых ученых. СПбГУ ИТМО. 2007, с. 304-312. http://vestnik.ifmo.ru/ntv/39/ntv_39.3.5.pdf

1. Санкт-Петербург. 30 января – 2 февраля 2007 г. Шалыто А.А. Switch-технология - технология создания автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
2. Гуров В.С., Мазин М.А., Шалыто А.А. Визуальное конструирование автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
3. Царев Ф.Н., Шалыто А.А. Проектирование программного обеспечения для беспилотных летательных объектов с использованием инструментального средства автоматного программирования //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.
4. Потемкин А.С., Меретяков М.И. Моделирование цифрового фотоаппарата на основе автоматного программирования //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
5. Астафуров А.А., Шалыто А.А. Применение технологии автоматного программирования в системах единого доступа //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
6. Вельдер С.Э., Шалыто А.А. Введение в верификацию автоматных программ //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
7. Князев Е.Г., Шопырин Д.Г. Анализ динамических метрик программы //XXXVI научная и учебно-методическая конференция профессорско-преподавательского и научного состава СПбГУ ИТМО. 2007.
8. Степанов О.Г., Шопырин Д.Г. Динамические контракты в объектно-ориентированных программах //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.
9. Лобанов П.Г., Шалыто А.А. Использование автоматов с флагами для решения задачи о "флибах" //XXXVI научная и учебно-методическая конференция профессорско- преподавательского и научного состава СПбГУ ИТМО. 2007.

1.Korneev G.A., Shalyto A.A. State-Driven Programming /Материалы Евразийского научного симпозиума. Корея. Сеул. Политехнический университет. 2007, с. 185–195. kor-cis.kpu.ac.kr, www.eurasia.re.kr

1. Котов А.Н. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 56.
2. Поликарпова Н.И., Точилин В.Н. Применение генетических алгоритмов для генерации логики вычислительных систем /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 57.
3. Бреслав А.А., Коротков М.А., Лукьянова А.П. Построение объектных моделей по текстовых описаниям /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 57.
4. Бреслав А.А. Разработка текстового синтаксиса доменно-специфичных языков, ориентированная на целевую модель /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 58.
5. Бедный Ю.Д., Данилов В.Р., Кулев В.А., Мандриков Е.А. Разработка методов построения автоматов с помощью генетических алгоритмов /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 59.
6. Раер М.Г. Автоматное расширение языка С# /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 59, 60.
7. Коротков М.А. Алгоритмы укладки диаграммы состояний /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 66, 67.
8. Рубинов К.В. Подход к тестированию программных интерфейсов приложений мобильных устройств /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 67.
9. Красс А.Л., Лысенко Е.А., Лакунин М.А., Евтифеева О., Счастливцев Р. Анализ алгоритмов поиска плагиата в исходных кодах программ /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 67, 68.
10. Князев Е.Г., Шопырин Д.Г. Анализ изменений программного кода методом кластеризации метрик /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 68.
11. Сытник С.А. Создание автоматных веб-приложений с учетом истории переходов между страницами /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 68, 69.
12. Лобанов П.Г. Использование генетических алгоритмов для решения задачи об "Умном муравье" /Сборник тезисов IV межвузовский конференции молодых ученых. СПб.: СПбГУ ИТМО. 2007, с. 69.

1. Шалыто А.А. Технология автоматного программирования /Материалы XI Всероссийской конференции по проблемам науки и высшей школы "Фундаментальные исследования и инновации в технических университетах". Санкт-Петербургский государственный политехнический университет. 2007, с. 202–205. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". Коломна. Московский государственный технический университет им. Н.Э.Баумана. 28-30 мая 2007 г..
2. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для генерации автоматов в задаче об "умном муравье" /Сборник научных трудов. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". М.: Физматлит. 2007, с. 590–597.
3. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Применение генетического программирования для реализации систем со сложным поведением /Сборник научных трудов. IV-я Международная научно-практическая конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте". М.: Физматлит. 2007, с. 598–604.

1. Шалыто А.А. Автоматно-ориентированное программирование /XIV Всероссийская научно- методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.1, с. 198–200. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=63
2. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык для автоматного программирования /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 424, 425. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=39
3. Гуров В.С., Мазин М.А., Зубок Д.А., Парфенов В.Г., Шалыто А.А. Два подхода к созданию программ с использованием инструментального средства UniMod /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 428. http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=284
4. Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для решения задачи об "умном муравье" /XIV Всероссийская научно-методическая конференция "Телематика-2007". СПб.: СПбГУ ИТМО. 2007. Т.2, с. 426, 427 http://tm.ifmo.ru/tm2007/db/doc/get_thes.php?id=146

1. Царев Ф.Н., Шалыто А.А. О построении автоматов с минимальным числом состояний для задачи об "умном муравье" //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 88–91.
2. Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 84–87.
3. Мандриков Е.А., Кулев В.А., Шалыто А.А. Построение автоматов с помощью генетиченских алгоритмов для решения задачи о "флибах" //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.1, 2007, с. 293–296.
4. Князев Е.Г., Лобанов П.Г. Оценка опасности изменений программного кода путем анализа покрытия кода модульными тестами //Сборник докладов X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". Т.2, 2007, с. 273–275.

1. Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: Саратовский государственный университет. 2007, с. 33–35.
2. Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Верификации автоматных программ //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратов: Саратовский государственный университет. 2007, с. 66–69.
3. Шалыто А.А. Автоматное программирование //Тезисы докладов Международной научной конференции, посвященной памяти профессора А.М. Богомолова "Компьютерные науки и технологии". Саратовский государственный университет. 2007, с. 143–145.

1. Шалыто А.А. Парадигма автоматного программирования /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы"(МВУС`2007). Таганрог: НИИМВС. Т.1, с. 191-194.
2. Корнеев Г.А., Шалыто А.А. Верификация управляющих программ со сложным поведением, построенных на основе автоматного подхода /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.1, с. 194-198.
3. Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.1, с. 198-203.
4. Царев Ф.Н., Шалыто А.А. Применение генетического программирования для построения мультиагентной системы одного класса /Международная научно-техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т.2, с. 46-51.
5. Гунич И.С., Иринев А.В., Шалыто А.А. Автоматный подход к моделированию микроорганизмов с использованием генетических алгоритмов /Международная научно- техническая мультиконференция "Проблемы информационно-компьютерных технологий и мехатроники". Материалы международной научно-технической конференции "Многопроцессорные вычислительные и управляющие системы" (МВУС`2007). Таганрог: НИИМВС. Т. 2, с. 51-56.

1. Никитин А.С., Чураков М.Ю., Шалыто А.А. Применение автоматного программирования для имитационного моделирования разъезда машин на нерегулируемом перекрестке равнозначных дорог /Сборник докладов третьей всероссийской научно-практической конференции по имитационному моделированию и его применению в промышленности. "Имитационное моделирование. Теория и практика" (ИММОД-2007). СПб.: ФГУП "ЦНИИ ТС". 2007. Т.1, с. 296-301.

Первый Санкт-Петербургский конгресс "Профессиональное образование, наука, инновации в XXI веке". Санкт-Петербург. СПбГУ ИТМО. 26, 27 октября 2007 г.
1. Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Инновационная система поиска и подготовки высоквалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов. /Труды первого Санкт- Петербургского конгресса "Профессиональное образование, наука, инновации в XXI веке". СПб.: СПбГУ ИТМО. 2007, с. 84-97.
2. Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения. /Труды первого Санкт-Петербургского конгресса "Профессиональное образование, наука, инновации в XXI веке". СПб.: СПбГУ ИТМО. 2007, с. 98-100.

1. Наумов А.С. Виртуальная машина автоматного программирования. http://htfi.ru/?p=19&lang=ru&m=0 Software Engineering Conference (Russia) (SECR-2007). М.: 2007. Москва. 1, 2 ноября 2007 г.
2. Астафуров А.А., Шалыто А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков
3. Князев Е.Г., Шопырин Д.Г. Использование автоматической классификации изменений программного кода в управлении процессом разработки программного обеспечения.

1. Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов. Специальность 05.13.12. "Системы автоматизации проектирования (приборостроение)". СПбГУ ИТМО. 22.05.2007. http://is.ifmo.ru/papers/_ln_Thesis.pdf

1. Научная школа "Информационные и компьютерные технологии" (руководители В.Н. Васильев, А.А. Шалыто) вошла в число победителей конкурса научно-педагогических школ Санкт-Петербурга, проводимого Администрацией города.
2. Гуров В.С., Мазин М.А. отмечены на Java-конкурсе, проводимом корпорацией Sun в России за разработку инструментального средства UniMod.
3. Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга. http://www.rshu.ru/news/74

1. Шалыто А.А. Визит Бертрана Мейера в Санкт-Петербург //Информационно-управляющие системы. 2007. № 1, с. 55, 56. http://is.ifmo.ru/misc/_Meyer.pdf
2. Шалыто А.А. Писать по-русски //Газета "Университет ИТМО". 2007. № 82, с. 8, 9. http://newspaper.ifmo.ru/article.php?pid=122&id=972
3. Шалыто А.А. Русский язык. Шутки в сторону. http://pcweek.ru/?ID=627296
4. Шалыто А.А. Триединая задача педагогического эксперимента в области ИТ-образования //Инженерное образование. 2007. № 4, c.208–213. http://is.ifmo.ru/belletristic/triedin/
5. Левкович-Маслюк Л. ИТ-образование: академический угол. Преподаватели (Н.Н. Непейвода и А.А. Шалыто) о качестве, количестве и карьере //Компьютерра. 2007. 23 (691), с. 24, 25. http://offline.computerra.ru/2007/691/323510/

1. Васильев В.Н., Тихонов А.Н., Куракин Д.В. Информацонно-телекоммуникационные системы в разработках по Федеральной целевой научно-технической программе (31. Технология автоматного программирования: применение и инструментальные средства) //Открытое образование. 2007. № 1, с. 31–48.
2. Татарчевский В.А. Применение SWITCH-технологии в задачах управления технологическими процессами //Надежность. 2007. № 1, с. 21–27. http://is.ifmo.ru/works/_ALL.pdf
3. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3 //Компоненты и технологии. 2007. № 1, с. 74, 75. http://is.ifmo.ru/works/_21_66.pdf
4. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4 //Компоненты и технологии. 2007. № 2, с. 148–150. http://is.ifmo.ru/works/_28_67.pdf
5. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 5 //Компоненты и технологии. 2007. № 3, с. 180–182. http://is.ifmo.ru/works/_28_68.pdf
6. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 6. Реализация протокола Modbus //Компоненты и технологии. 2007. № 4, с. 202–204. http://is.ifmo.ru/works/_36_69.pdf
7. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 7. //Компоненты и технологии. 2007. №7, с. 164-168. http://is.ifmo.ru/works/_2007_09_03_14_72.pdf
8. Татарчевский В.А. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 8. //Компоненты и технологии. 2007. №8, с. 134-136 http://
9. Парфенов В.Г. Технологии программирования //Газета "Университет ИТМО". 2007. № 86, с. 2, 3. http://faculty.ifmo.ru/redakcia/?part=contents_numbers&id_article=318

1. Шалыто А.А. включен в книгу "Who's Who in Scince and Engineering". Ninth Edition. 2006-2007. Marquis Who's Who Publications Board.
2. Царев Ф.Н. Стипендия Правительства РФ
3. Царев Ф.Н. занял второе место на конкурсе "У.М.Н.И.К.", который проводился в рамках X международной конференции по мягким вычислениям и измерениям. СПбГЭТУ "ЛЭТИ". 2007. http://www.ifmo.ru/news/934/2007_07_02.htm
4. Царев Ф.Н. – лауреат молодежной премии Санкт-Петербурга в области информационных технологий