Code generation from UML to any language (Java, Objective-C, PHP...)
Java graph library
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.
Generator for textual models by applying different techniques
Raspberry Pi Projekt Multifunktions Wecker