The Umple Model-Oriented Programming Technology
Modeling tool supporting UML, BPMN and other standards
A QVT engine targeting Java
Repository for dependencies between software design artefacts
A StarUML C++ Module supporting incremental reverse engineering.
XJML 1.0 is a platform for Verification and Validation of Java classes
Workflow Tool for Eclipse