Open-source code generator for Simulink/Stateflow
Database ERD- design tool with Reverse Engineering
Write, check, index and diagram Z specifications in Microsoft Word.
Combinatorial Interaction Testing Laboratory
The markup language for design the programs
Visualize Galois sub-hierarchy of 2d matrix