Tools for support of automata-based programming 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.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Gurov, V. S.; Mazin, M. A.; Narvsky, A. S.; Shalyto, A. A.: Tools for support of automata-based programming (2007)