ECLiPSe Constraint Logic Programming System
ODABA is an terminology-oriented database management system and develo
A free cross-platform editor for the DRAKON visual language.
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
MDA support for Alloy
A tool for visualization and analysis of logs as sequence diagrams
Repository for dependencies between software design artefacts
Design your ORM application in a platform independent way.
Prototype editor for the SDEM Mapping Language
Computer-aided threat modeling