ECLiPSe Constraint Logic Programming System
ODABA is an terminology-oriented database management system and develo
MDA support for Alloy
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