ITMO University
“Programming Technologies” Department



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

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

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

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


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

Яndex



    / Automata-Based Programming / Шалыто А.А. Термин «автоматное программирование» на английском языке (версия для печати)


Шалыто А.А. Термин «автоматное программирование» на английском языке



Термин «Automaton Programming», а затем термин «Automata-Based Programming», видимо, первым предложил я. Перечисляю работы на английском языке, в которых эти термины используются.

  1. Shalyto A.A. Software Automation Design: Algoritmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. № 6, pp.899–916.
  2. Shalyto A.A. Logic Control and "Reactive" Systems: Algorithmization and Programming //Automation and Remote Control. 2001. № 1, pp. 1–29. http://is.ifmo.ru/articles_en/_logic_control_and_reactive_systems.pdf
  3. Shalyto A. A., Tukkel' N. I. SWITCH-technology ­– An Automated Approach to Developing Software for Reactive Systems // Programming and Computer Software. 2001, № 5.
  4. Naumov L.   Shalyto A.  Automata theory for multi-agent systems implementation / International Conference on«Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering». KIMAS-03. Boston: IEEE Boston Section. 2003, pp.65–70. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1245023, http://is.ifmo.ru/english/_aut_th.pdf
  5. Shalyto A. A. Technology of Automata-Based Programming. http://www.codeproject.com/KB/architecture/abp.aspx (8.08.2004).
  6. Shalyto A., Naumov L., Korneev G. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata /2005 International Conference on «Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering». USA, MA: IEEE, 2005, pp. 460 – 465. http://is.ifmo.ru/articles_en/_kimas05-1.pdf
  7. Yartsev B., Korneev G., Shalyto A., Kotov V. Automata-Based Programming of the Reactive Multi-Agent Control Systems / 2005 International Conference on "Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering". USA, MA: IEEE, 2005, pp. 449–453. http://is.ifmo.ru/articles_en/_kimas05-2.pdf, http://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=/iel5/9771/30814/01427123.pdf&tp=x&arnumber=1427123&code=4
  8. Paraschenko, D., Shalyto, A., Tsarev F. Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming Computational Intelligence for Measurement Systems and Applications /Proceedings of 2006 IEEE International Conference. July 2006, pp. 15 – 20. Digital Object Identifier 10.1109/CIMSA.2006.250740.
  9. Gurov V.S., Mazin M.A., Narvsky A.S., Shalyto A.A. Tools for Support of Automata-Based Programming //Programming and Computer Software. 2007. № 6, http://is.ifmo.ru/articles_en/_ProCom6_07GurovLO.pdf

    В 2006 году в рамках Международного Симпозиума по Информатике в России (CSR 2006) мы проводили семинар «Automata–Based Programming», в рамках которого кроме 24 объявленных в программе докладов и был еще прочитан доклад известного специалиста по синхронному программированию Berry G. Synchronous Programming Techniques for Embedded Systems (http://is.ifmo.ru/present/_berry-wabp.pdf).

    В 2008 году в рамках «The Second Spring Young Reserarchers Colloquium on Software Engineering» из 23 докладов и сообщений восемь было из нашей школы по Automata-Based Programming.

    Термин «Automata-Based Programming» широко используется на сайте http://unimod.sourceforge.net/, посвященном разработанному нами инструментальному средству для поддержки автоматного программирования UniMod. Этот термин используется также на сайтах: http://www.dmoz.org/Computers/Programming/Methodologies/Modeling_Languages/Unified_Modeling_Language/Tools/

    Термин «Automaton Programming» с ссылками на мои работы используется в работе: Kuzmin E. V., Sokolov V. A. Modeling, Specification, and Verification of Automaton Programs // Programming and Computer Software. 2008, 34(1). http://is.ifmo.ru/download/2008-03-12_verification-en.pdf

    Термин «Automata-Based Programming» http://en.wikipedia.org/wiki/Automata-Based_Programming в энциклопедию «Wikipedia» ввели исходно со ссылками на меня. Потом эту статью переписали, а на меня ссылаются в статье «Automata-based programming (Shalyto's approach) http://en.wikipedia.org/wiki/Automata-based_programming_%28programming_technology%29». Этот термин обсуждается http://lambda-the-ultimate.org/node/2072 совместно с термином «Switch-technology».




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