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