Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C language
Download file
Counter downloads: 257
Keywords
Authors
| Name | Organization | |
| Stolyarov L. V. | Lyceum "Second school", Moscow | lnd1212@rambler.ru |
| Dedinsky I. R | Lyceum "Second school", Moscow | ded@concord.ru |
| Shalyto A. A. | Saint Petersburg State University of Information Technologies, Mechanics and Optics | shalyto@mail.ifmo.ru |
References
Шалыто А. А. Switch-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с.
Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. 780 с.
Шалыто А. А., Туккель Н. И. Реализация автоматов при программировании событийных систем / / Программист. 2004. №2. С. 74-80.
Поликарпова Н. И., Шалыто А. А. Автоматное программирование. СПб.: Питер, 2009. 176 с.
Гуров В. С., Шалыто А. А., Яминов Б. Р. Технология верификации автоматных программ без их трансформации во входной язык верификатора / / Материалы Междунар. науч.- технич. конф. «Многопроцессорные вычислительные и управляющие системы (МВУС- 2007)». Таганрог: НИИ МВС, 2007. Т. 1. С. 198-203.
http://is.ifmo.ru/progeny/visio2switch - Головешин А. Конвертор Visio2Switch. 2002.
http://is.ifmo.ru/projects/metaauto - Канжелев С. Ю., Шалыто А. А. Преобразование графов переходов, представленных в формате MS Visio, в исходные коды программ для различных языков программирования (инструментальное средство MetaAuto). 2005.
Гуров В. С. Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация): Дис. ... канд. техн. наук. СПбГУ ИТМО, 2008.
