Tool support for the Z formal notation
data transformation and code generation
Translates state machine into a target programming language.
Synthesizing embedded control software from formal specifications
Dataflow parallel programming language for clusters
Data Access Layer 4 Java
A tool to convert C++ definitions into XML