MDA support for Alloy
C++ inline state machine library
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Synchronous Petri Nets' emulator
The easiest C++ way to deal with constraints !
Knowledge-Based Simulation
Java library implementing a state machine by the UML standard.