@leonardo

Tools for support of automata-based programming

, , , and . Programming and Computer Software, 33 (6): 343--355 (November 2007)
DOI: 10.1134/S0361768807060059

Abstract

Abstract  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.

Links and resources

Tags