ECLiPSe Constraint Logic Programming System
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.