PetriNetExec a library for embedding Petri Nets into Java applications
A free, easy-to-use and user-friendly Java-based UML editor.
Uses GraphViz to draw UML class diagrams
Eclipse plug-in for XQuery transformations over XMI on the MDA basis
An IPR and license management tool for software design
Visualize Galois sub-hierarchy of 2d matrix
Value Added Eclipse Indigo Platform
XJML 1.0 is a platform for Verification and Validation of Java classes