Petri net framework for security related modeling and reasoning.
Java graph library
A diagram/modeling tool.
C++ inline state machine library
Repository for dependencies between software design artefacts
SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
Design your ORM application in a platform independent way.
Configurable Object Oriented Rapid Application Development system
The easiest C++ way to deal with constraints !
Provenance in NetLogo
Finite State Machine; PHP; LUA;