A cross-platform integrated CASE system
Open-source code generator for Simulink/Stateflow
Database ERD- design tool with Reverse Engineering
Write, check, index and diagram Z specifications in Microsoft Word.
Display NetBeans Module Dependencies
Declarative PageObject description
Workflow control and configuration java framework
Petri net framework for security related modeling and reasoning.
Generator for textual models by applying different techniques
PetriNetExec a library for embedding Petri Nets into Java applications
Workflow Tool for Eclipse