Changes: Z Word Tools

Latest revision as of 11:48, 21 March 2011

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

This article is a stub. You can help Formal Methods Wiki by expanding it.

@@ Line 1: / Line 1: @@
-'''Z Word Tools''' is a {{wp|SourceForge}} project providing tools to allow [[Z notation|Z]] specifications to be written in {{wp|Microsoft Word}}. It includes a {{wp|Unicode}} font for Z symbols and capabilities for editing, typechecking, indexing and cross -eferencing. It supports large specifications in multiple Word documents.
+'''Z Word Tools''' is a {{wp|SourceForge}} project providing tools to allow [[Z notation|Z]] specifications to be written in {{wp|Microsoft Word}}. It includes a {{wp|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 [http://spivey.oriel.ox.ac.uk/mike/fuzz/ fuzz] or [http://czt.sourceforge.net/ CZT] to typecheck Spivey Z or ISO Standard Z. The tool has been written by {{wp|J. Anthony Hall|Anthony Hall}} and is available for download at no charge.
 == External links ==
@@ Line 6: / Line 6: @@
 * [http://sourceforge.net/project/platformdownload.php?group_id=234785 Download] from SourceForge
+{{stub}}
 [[Category:SourceForge]]
 [[Category:Z notation]]