Geodesic
Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C~language
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 81-83.

Voir la notice de l'article provenant de la source Math-Net.Ru

The open-source tool for translation of discrete finite automata descriptions from Microsoft Visio format to source code in C language is developed. There is a number of similar tools but some of them have poor error diagnostics while translation, others have poor stability and quality of code they generate, and some of them aren't open-source. The aim of this project is the development of tool without these drawbacks. The tool itself is written on C#. 
@article{PDM_2009_10_a42,
     author = {L. V. Stolyarov and I. R. Dedinskii and A. A. Shalyto},
     title = {Translation of discrete finite automata descriptions from {Microsoft} {Visio} format to source code in {C~language}},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {81--83},
     publisher = {mathdoc},
     number = {10},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a42/}
}
TY  - JOUR
AU  - L. V. Stolyarov
AU  - I. R. Dedinskii
AU  - A. A. Shalyto
TI  - Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C~language
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 81
EP  - 83
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_10_a42/
LA  - ru
ID  - PDM_2009_10_a42
ER  - 
%0 Journal Article
%A L. V. Stolyarov
%A I. R. Dedinskii
%A A. A. Shalyto
%T Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C~language
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 81-83
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a42/
%G ru
%F PDM_2009_10_a42
L. V. Stolyarov; I. R. Dedinskii; A. A. Shalyto. Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C~language. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 81-83. http://geodesic.mathdoc.fr/item/PDM_2009_10_a42/

[1] Shalyto A. A., Switch-tekhnologiya. Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya, Nauka, SPb., 1998, 628 pp. | Zbl

[2] Shalyto A. A., Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii, Nauka, SPb., 2000, 780 pp.

[3] Shalyto A. A., Tukkel N. I., “Realizatsiya avtomatov pri programmirovanii sobytiinykh sistem”, Programmist, 2004, no. 2, 74–80

[4] Polikarpova N. I., Shalyto A. A., Avtomatnoe programmirovanie, Piter, SPb., 2009., 176 pp.

[5] Gurov V. S., Shalyto A. A., Yaminov B. R., “Tekhnologiya verifikatsii avtomatnykh programm bez ikh transformatsii vo vkhodnoi yazyk verifikatora”, Materialy Mezhdunar. nauch.-tekhnich. konf. “Mnogoprotsessornye vychislitelnye i upravlyayuschie sistemy (MVUS-2007)”, T. 1, NII MVS, Taganrog, 2007, 198–203

[6] Goloveshin A., Konvertor Visio2Switch, , 2002 http://is.ifmo.ru/progeny/visio2switch

[7] Kanzhelev S. Yu., Shalyto A. A., Preobrazovanie grafov perekhodov, predstavlennykh v formate MS Visio, v iskhodnye kody programm dlya razlichnykh yazykov programmirovaniya (instrumentalnoe sredstvo MetaAuto), , 2005 http://is.ifmo.ru/projects/metaauto

[8] Gurov V. S., Tekhnologiya proektirovaniya i razrabotki ob'ektno-orientirovannykh programm s yavnym vydeleniem sostoyanii (metod, instrumentalnoe sredstvo, verifikatsiya):, Dis. $\dots$ kand. tekhn. nauk, SPbGU ITMO, 2008