ECLiPSe Constraint Logic Programming System
Create consistent Uml diagrams
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Object-oriented equation-based modelling and optimisation software
Annotate/link UML and SysML diagrams with TRAK AF elements
oracle pl/sql based tools for design development and maintenance
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
simulated annealing optimization and importance-sampling
Display NetBeans Module Dependencies
Data Type Definition System
MDA support for Alloy
Free software for generating understandable and accurate fuzzy systems
Code generation from UML to any language (Java, Objective-C, PHP...)