Write, check, index and diagram Z specifications in Microsoft Word.
...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.
Slender UML aims to be a streamlined UML diagramming tool. It will feature a simple GUI environment allowing quick creation of UML diagrams without a serious investment of time. Slender UML will be easily used by anyone with a working knowledge of UML.