A cross-platform integrated CASE system
Write, check, index and diagram Z specifications in Microsoft Word.
Toolkit for agent-based & dynamic microsimulation modelling
Very simple entities relation attributes tool with export
Combinatorial Interaction Testing Laboratory
Free software for generating understandable and accurate fuzzy systems
Repository for dependencies between software design artefacts
Prototype editor for the SDEM Mapping Language
XJML 1.0 is a platform for Verification and Validation of Java classes