Translates state machine into a target programming language.
The regex-centric, fast lexical analyzer generator for C++
The Umple Model-Oriented Programming Technology
Translate java source into another language
Synthesizing embedded control software from formal specifications
Java-based Dialect of the Unicon Programming Language
Create units and attacks for Wesnoth!