Object-oriented equation-based modelling and optimisation software
A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
Write, check, index and diagram Z specifications in Microsoft Word.
A modeling tool for software engineers (OO)
Simulador de Redes de Petri Interpretadas para Controle