Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
The Umple Model-Oriented Programming Technology
ER Databese Model
A modeling tool for software engineers (OO)
Free software for generating understandable and accurate fuzzy systems
PetriNetExec a library for embedding Petri Nets into Java applications
XJML 1.0 is a platform for Verification and Validation of Java classes