A Database System for Metamodeling and Method Engineering
Write, check, index and diagram Z specifications in Microsoft Word.
C++ CASE tool, full life cycle code generator
An useful tool to analize header dependendencies via graphs
Software Architecture Support System
A graphical Finite State Machine (FSM) designer.