The Umple Model-Oriented Programming Technology
UML diagram editor
The markup language for design the programs
Ontology CASE Tool - Cartographie des connaissances et ontologies
Prototype editor for the SDEM Mapping Language
XJML 1.0 is a platform for Verification and Validation of Java classes