The Umple Model-Oriented Programming Technology
Open-source code generator for Simulink/Stateflow
Modeling tool supporting UML, BPMN and other standards
Repository for dependencies between software design artefacts
XJML 1.0 is a platform for Verification and Validation of Java classes