Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
Screenshots
Description
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
Z Word Tools Web SiteFeatures
- Version 3 has improved keyboard handling and supports non-English keyboards - please see v3 release notes
- From version 2 supports ISO Standard Z as well as Spivey Z
- Create and edit Z specifications in Microsoft Word
- Typecheck specifications
- Create indexes and cross references
- Create diagrams of specification structure
- Supports large projects with specifications spread over many documents
User Ratings
User Reviews
-
gracias
-
I really really like these tools. I use them for my college work and they are of immense help. Thank you so much guys. Just that its not currently available on Mac. But, its ok. Thanks again