An editor for the specification of Graphol ontologies
Write, check, index and diagram Z specifications in Microsoft Word.
A free cross-platform editor for the DRAKON visual language.
The markup language for design the programs
An editor for the specification of Graphol ontologies
A PlantUML editor written in Qt4
PetriNetExec a library for embedding Petri Nets into Java applications
Workflow Tool for Eclipse