an Open Source BPMN 2.0 / DMN 1.1 Modeler
A cross-platform integrated CASE system
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Jupyter notebooks that demonstrate how to build models using SageMaker
Multidocument automation by templates - for sphinx, mkdocs, epydoc ...
Workflow control and configuration java framework
A modeling tool for software engineers (OO)
A tool for visualization and analysis of logs as sequence diagrams
The easiest C++ way to deal with constraints !
A tool for parametric model checking of UPPAAL models.
Value Added Eclipse Indigo Platform