Repository for dependencies between software design artefacts
A StarUML C++ Module supporting incremental reverse engineering.
Generator for textual models by applying different techniques
Provenance in NetLogo
Uses GraphViz to draw UML class diagrams
PetriNetExec a library for embedding Petri Nets into Java applications
XJML 1.0 is a platform for Verification and Validation of Java classes