Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written in Microsoft Word↑. It includes a Unicode↑ font for Z symbols and capabilities for editing, typechecking, indexing and cross-referencing. It can create diagrams showing the structure of your specification. It supports large specifications in multiple Word documents. The tool uses either fuzz or CZT to typecheck Spivey Z or ISO Standard Z. The tool has been written by Anthony Hall↑ and is available for download at no charge.
External links[]
- Z Word Tools on SourceForge
- Download from SourceForge