Create consistent Uml diagrams
Real-Time Event Frameworks based on active objects & state machines
A Database System for Metamodeling and Method Engineering
simulated annealing optimization and importance-sampling
A canvas library for generating technical drawings
The C source code generator from UML state charts