Object-oriented equation-based modelling and optimisation software
oracle pl/sql based tools for design development and maintenance
ECLiPSe Constraint Logic Programming System
ODABA is an terminology-oriented database management system and develo
A cross-platform integrated CASE system
Replicate your Mumps Globals into Relational Data Base
An editor for the specification of Graphol ontologies
XJML 1.0 is a platform for Verification and Validation of Java classes