A Database System for Metamodeling and Method Engineering
HiPS tool features to design and analyze hierarchical Petri nets
Button appearance tester
Write, check, index and diagram Z specifications in Microsoft Word.
C++ CASE tool, full life cycle code generator
C++ cross plattform functional block programming
combination magnifier/ruler/measuring tool
A graphical Finite State Machine (FSM) designer.
Contract Programming Library for C++