Model-driven development system and software factory
Requirement Modeling Tool
Stochastic parameter sensitivity analysis for chemical networks
Computer-aided threat modeling
press ctrl button with shelf button to toggle imageplane
PetriNetExec a library for embedding Petri Nets into Java applications
Uses GraphViz to draw UML class diagrams
Visualize Galois sub-hierarchy of 2d matrix
A tool for parametric model checking of UPPAAL models.