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.
Repository for dependencies between software design artefacts
Model-driven development system and software factory