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

Full description

Saved in:
Bibliographic Details
Published in:Programming and computer software 2007-11, Vol.33 (6), p.343-355
Main Authors: Gurov, V. S., Mazin, M. A., Narvsky, A. S., Shalyto, A. A.
Format: Article
Language:English
Subjects:
Automata theory
Object oriented programming
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768807060059