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
UML modeling tool derived from StarUML compatible with Windows 7-10
Declarative PageObject description
Petri net framework for security related modeling and reasoning.
Generator for textual models by applying different techniques
Workflow Tool for Eclipse