Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
data transformation and code generation
Translates state machine into a target programming language.
Open-source code generator for Simulink/Stateflow
yEdGen can open a flow chart and generate ANSI C code from it.
Synthesizing embedded control software from formal specifications
Parser Generator based on Coco/R
Ccide is a Decision Table preprocessor.