ECLiPSe Constraint Logic Programming System
Object-oriented equation-based modelling and optimisation software
Implementation of TRAK enterprise architecture framework as UML profil
A cross-platform integrated CASE system
Annotate/link UML and SysML diagrams with TRAK AF elements
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Cellular Automata library for SUPercomputers (CASUP)
Toolkit for agent-based & dynamic microsimulation modelling
Generator for textual models by applying different techniques