The Umple Model-Oriented Programming Technology
UML diagram editor
The markup language for design the programs
A free cross-platform editor for the DRAKON visual language.
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