Object-oriented equation-based modelling and optimisation software
Syntax tree editor for rapid annotation of existing text
ODABA is an terminology-oriented database management system and develo
Implementation of TRAK enterprise architecture framework as UML profil
Constructing and optimizing general mathematical and physical models
Specifications for TRAK architecture views
MDA support for Alloy
Free software for generating understandable and accurate fuzzy systems
Stochastic parameter sensitivity analysis for chemical networks
Visualize Galois sub-hierarchy of 2d matrix
XJML 1.0 is a platform for Verification and Validation of Java classes
Testbed for playing with the algorithm "pagerank" of Google