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
Database ERD- design tool with Reverse Engineering
Tool to design and share enterprise solutions, services and processes
Write, check, index and diagram Z specifications in Microsoft Word.
Display NetBeans Module Dependencies
MDA support for Alloy