The Umple Model-Oriented Programming Technology
A free cross-platform editor for the DRAKON visual language.
The markup language for design the programs
UML diagram editor
Ontology CASE Tool - Cartographie des connaissances et ontologies
Finite State Machine; PHP; LUA;
Prototype editor for the SDEM Mapping Language
XJML 1.0 is a platform for Verification and Validation of Java classes