SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
The easiest C++ way to deal with constraints !
Provenance in NetLogo
Model-driven development system and software factory
Computer-aided threat modeling
press ctrl button with shelf button to toggle imageplane
Uses GraphViz to draw UML class diagrams
PetriNetExec a library for embedding Petri Nets into Java applications