ECLiPSe Constraint Logic Programming System
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
An ecosystem for model-driven engineering on the JavaEE platform.