Freezer: Easy generation of the persistence layer of your application
C++ CASE tool, full life cycle code generator
XML Schema SAX based code generator for Java
Synthesizing embedded control software from formal specifications
Generating PLC programs from formal specifications