DBMS supporting graph, document, full-text and geospatial models
Write, check, index and diagram Z specifications in Microsoft Word.
The markup language for design the programs
Declarative PageObject description
Plugin for MagicDraw to support MBSE with SysML
A StarUML C++ Module supporting incremental reverse engineering.
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