Object-oriented equation-based modelling and optimisation software
ECLiPSe Constraint Logic Programming System
Specifications for TRAK architecture views
Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
A modeling tool for software engineers (OO)
Petri net framework for security related modeling and reasoning.
Simulador de Redes de Petri Interpretadas para Controle