ODABA is an terminology-oriented database management system and develo
Development framework including code generator and UML ex/import
A free cross-platform editor for the DRAKON visual language.
Data Type Definition System
Computer-aided threat modeling
XJML 1.0 is a platform for Verification and Validation of Java classes
LPC Coding Library and GUI
Python-based GUI for discrete-event system modeling and simulation
Examples for the aXBench.