ECLiPSe Constraint Logic Programming System
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
an Open Source BPMN 2.0 / DMN 1.1 Modeler
A canvas library for generating technical drawings
Code generation from UML to any language (Java, Objective-C, PHP...)
Repository for dependencies between software design artefacts
Design your ORM application in a platform independent way.
XJML 1.0 is a platform for Verification and Validation of Java classes