Object-oriented equation-based modelling and optimisation software
Development framework including code generator and UML ex/import
Syntax tree editor for rapid annotation of existing text
Write, check, index and diagram Z specifications in Microsoft Word.
UML Modeling Tool for MDD-based Analysis/Design
Software Engineering Full Life Cycle Support Tool
LPC Coding Library and GUI