Tool support for the Z formal notation
Converts cobol copybooks to Xml/Java objects
Another drawing editor for LaTeX with PSTricks & TikZ
ODABA is an terminology-oriented database management system and develo
Development framework including code generator and UML ex/import
Version 1.6.1
Support variant based Java program execution, adapted to support MDE.
Vector drawing program for LaTeX using PSTricks
C++ CASE tool, full life cycle code generator
Another take on Android AIDL tool
Synthesizing embedded control software from formal specifications
Cress is a comprehensive toolset for graphical service/workflow design