Make a tag cloud from text in your files
A Rodin Platform Plug-in for Generic Instantiation
Petri net framework for security related modeling and reasoning.
Java graph library
Simulador de Redes de Petri Interpretadas para Controle
C++ inline state machine library
SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
Generator for textual models by applying different techniques
vipera is an application designer for Python
Workflow Tool for Eclipse