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
Computer-aided threat modeling
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
Workflow Tool for Eclipse