A cross-platform integrated CASE system
Database ERD- design tool with Reverse Engineering
Write, check, index and diagram Z specifications in Microsoft Word.
Display NetBeans Module Dependencies
Declarative PageObject description
Petri net framework for security related modeling and reasoning.
Generator for textual models by applying different techniques
Workflow Tool for Eclipse