MDA support for Alloy
C++ inline state machine library
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Design your ORM application in a platform independent way.
The easiest C++ way to deal with constraints !
Computer-aided threat modeling
SCOPE: Space-Based Coordination Process Engineering