A Database System for Metamodeling and Method Engineering
Open-source code generator for Simulink/Stateflow
Combinatorial Interaction Testing Laboratory
Free software for generating understandable and accurate fuzzy systems
Java graph library
Petri net framework for security related modeling and reasoning.
Repository for dependencies between software design artefacts
Java library implementing a state machine by the UML standard.