A cross-platform integrated CASE system
Write, check, index and diagram Z specifications in Microsoft Word.
Modeling tool supporting UML, BPMN and other standards
UML diagram editor
A modeling tool for software engineers (OO)
Repository for dependencies between software design artefacts
Ontology CASE Tool - Cartographie des connaissances et ontologies
Requirement Modeling Tool