Model-driven development system and software factory
Computer-aided threat modeling
press ctrl button with shelf button to toggle imageplane
Uses GraphViz to draw UML class diagrams
PetriNetExec a library for embedding Petri Nets into Java applications
Visualize Galois sub-hierarchy of 2d matrix
XJML 1.0 is a platform for Verification and Validation of Java classes
vipera is an application designer for Python
Workflow Tool for Eclipse