Petri net framework for security related modeling and reasoning.
A tool for visualization and analysis of logs as sequence diagrams
A diagram/modeling tool.
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Ontology CASE Tool - Cartographie des connaissances et ontologies
A StarUML C++ Module supporting incremental reverse engineering.