Java library implementing a state machine by the UML standard.
Prototype editor for the SDEM Mapping Language
Utility functionalities for simple Xml usage in Java
Requirement Modeling Tool
PetriNetExec a library for embedding Petri Nets into Java applications
Uses GraphViz to draw UML class diagrams
Visualize Galois sub-hierarchy of 2d matrix
XJML 1.0 is a platform for Verification and Validation of Java classes