Visu@lGrid - IDE for Building BOINC Projects
Model-driven development system and software factory
UML 2 Statemachine for C++ is a development framework with DSL support
Stochastic parameter sensitivity analysis for chemical networks
A tool for parametric model checking of UPPAAL models.
DIA diagram converter to php webservice(libnusoap)
Visualize Galois sub-hierarchy of 2d matrix