ECLiPSe Constraint Logic Programming System
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
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
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...)
A general recommender system with basic models and MRA