A cross-platform integrated CASE system
Database ERD- design tool with Reverse Engineering
Toolkit for agent-based & dynamic microsimulation modelling
Free software for generating understandable and accurate fuzzy systems
Petri net framework for security related modeling and reasoning.
A tool for visualization and analysis of logs as sequence diagrams
Repository for dependencies between software design artefacts
A StarUML C++ Module supporting incremental reverse engineering.
Generator for textual models by applying different techniques
Provenance in NetLogo
XJML 1.0 is a platform for Verification and Validation of Java classes