A tool for visualization and analysis of logs as sequence diagrams
Petri net framework for security related modeling and reasoning.
A diagram/modeling tool.
A tool for automatically generating UML database diagrams.
A graphical editor for PlantUML diagrams.
Repository for dependencies between software design artefacts
Generator for textual models by applying different techniques
Provenance in NetLogo