Object-oriented equation-based modelling and optimisation software
A Database System for Metamodeling and Method Engineering
Xtu is a framework for implementing Platform specific xUML models
Development framework including code generator and UML ex/import
Write, check, index and diagram Z specifications in Microsoft Word.
Software Engineering Full Life Cycle Support Tool
UML Modeling Tool for MDD-based Analysis/Design
Travel Market Simulator
Human Physiology Engine
Synchronous Petri Nets' emulator