Automata-based programming (Shalyto's approach)
Instrumentation
Instrumentation
---------------

Various software tools are developed to support automata programming. One of these tools is UniMod. This tool is based on the following concepts: [UML](/wiki/Unified_Modeling_Language "Unified Modeling Language"), [Switch\-technology](/wiki/Switch-technology "Switch-technology"), [Eclipse IDE](/wiki/Eclipse_%28software%29 "Eclipse (software)"), [Java programming language](/wiki/Java_%28programming_language%29 "Java (programming language)"), [open source code](/wiki/Open-source_software "Open-source software") (<http://unimod.sourceforge.net/>). All this enables one to talk about the UniMod as of the implementation of [executable UML](/wiki/Executable_UML "Executable UML").


How do these software tools improve automata programming?