Tools for support of automata-based programming
V. S. Gurov, Maxim A. Mazin, Andrey S. Narvsky, Anatoly Abramovich Shalyto · Programming and Computer Software · 2007
A method for designing and implementing reactive object-oriented programs with explicit emphasis of states is suggested. The method relies on the automata-based programming (SWITCH-technology) and the UML notation. The UniMod tool based on this method, which is a plug-in module for the Eclipse platform, is described.