The Umple Model-Oriented Programming Technology
A cross-platform integrated CASE system
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
A modeling tool for software engineers (OO)
Repository for dependencies between software design artefacts
Generator for textual models by applying different techniques