Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
BPMN & POEM (Process Oriented Enterprise Modelling) Package Of Plugins contains Visio stencil and templates for integrated organizational and business process modelling.
Enterprise size application genererator. Mogenius is set of modelling tools, codegenerators for different application levels( Database , Data access , Data presentaton, Application). Document locking, Role subssystem, Workflow subsystem included.
A toolkit to design applications using design patterns, with facility to generate code, and reverse engineering. Drag and Drop facility to create UML Class diagrams Support to write custom plug-ins for code generators and reverse engineering.
Dzine is a case tool for OOAD. Draw use case,interaction,class,deployment,ER Diagrams. Code generation in C++ and java and for SQL. Reverse engg design from code. Just put in your Java or C++ code and generate class diagrams.