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
Version 1.6.1
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
The fast lexer generator for Java
Interactive Environment for Coffee-Script, Jade and Stylus