Project Description RSS Review this project
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.
No Image posted.
Your rating for Z Word Tools
This page posts information of other open source development sites, and the information here is put together through the use of a feature called OFI. These projects are not the projects on OSDN.