Object-oriented equation-based modelling and optimisation software
ECLiPSe Constraint Logic Programming System
A cross-platform integrated CASE system
Toolkit for agent-based & dynamic microsimulation modelling
Very simple entities relation attributes tool with export
"black technology" will improve development productivity by 1.5 to 5
Free software for generating understandable and accurate fuzzy systems
Repository for dependencies between software design artefacts
Generator for textual models by applying different techniques
Prototype editor for the SDEM Mapping Language
XJML 1.0 is a platform for Verification and Validation of Java classes