Specifications for TRAK architecture views
Implementation of TRAK enterprise architecture framework as UML profil
Declarative PageObject description
Synchronous Petri Nets' emulator
Design your ORM application in a platform independent way.
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