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

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

Термин "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. < a href = "http://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=/iel5/4016805/4016806/04016816.pdf&isnumber=4016806&prod=CNF&tp=x&arnumber=4016816&arSt=15&ared=20&arAuthor=Paraschenko%2C+D.%3B+Shalyto%2C+A.%3B+Tsarev%2C+F.&code=4"> http://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=/iel5/4016805/4016806/04016816.pdf&isnumber=4016806&prod=CNF&tp=x&arnumber=4016816&arSt=15&ared=20&arAuthor=Paraschenko%2C+D.%3B+Shalyto%2C+A.%3B+Tsarev%2C+F.&code=4
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) (http://www.outsourcing-russia.com/events/?66) мы проводили семинар "Automata-Based Programming" http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP, в рамках которого кроме 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 ( http://syrcose.ispras.ru/program.html).

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

http://www.google.com/Top/Computers/Programming/Methodologies/Modeling_Languages/Unified_Modeling_Language/Tools/,

http://www.evelopers.com/projects/tool_details-5.html.htm

Термин "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".

Рассмотрение материалов на http://books.google.ru/books?lr=&q=Automata-based+programming&sa=N&start=30 не добавило претендующих на то, что они предложили этот термин.