Workflow control and configuration java framework
A PlantUML editor written in Qt4
A modeling tool for software engineers (OO)
Free software for generating understandable and accurate fuzzy systems
MDA support for Alloy
Code generation from UML to any language (Java, Objective-C, PHP...)
A Rodin Platform Plug-in for Generic Instantiation
Java graph library
Petri net framework for security related modeling and reasoning.
Simulador de Redes de Petri Interpretadas para Controle
A tool for automatically generating UML database diagrams.