A lexical analyzer generator that makes the class source code.
Translates state machine into a target programming language.
Java class file shrinker, optimizer, obfuscator, and preverifier
C++ CASE tool, full life cycle code generator
XML Schema SAX based code generator for Java
Generating PLC programs from formal specifications