Object-oriented equation-based modelling and optimisation software
ECLiPSe Constraint Logic Programming System
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
"black technology" will improve development productivity by 1.5 to 5
Free software for generating understandable and accurate fuzzy systems
Plugin for MagicDraw to support MBSE with SysML
Repository for dependencies between software design artefacts
Generator for textual models by applying different techniques
Prototype editor for the SDEM Mapping Language