Define composable configuration models through code
The Umple Model-Oriented Programming Technology
ODABA is an terminology-oriented database management system and develo
Object-oriented equation-based modelling and optimisation software
Modeling tool supporting UML, BPMN and other standards
A free cross-platform editor for the DRAKON visual language.
Data Type Definition System
Computer-aided threat modeling
XJML 1.0 is a platform for Verification and Validation of Java classes
Examples for the aXBench.