Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Another drawing editor for LaTeX with PSTricks & TikZ
A lexical analyzer generator that makes the class source code.
Support variant based Java program execution, adapted to support MDE.
SequencePlugin for IntelliJ IDEA
Open-source code generator for Simulink/Stateflow
C++ CASE tool, full life cycle code generator
Translate java source into another language
Generate PrimeFaces Pages from Entity Classes in NetBeans
Synthesizing embedded control software from formal specifications
Generate Java and PHP database apps from abstract Event-B models.