DownloadTools 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.
Features
- 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
- Supports ISO Standard Z as well as Spivey Z
- Convert Spivey Z to Standard Z
- Supports non-English keyboards
Project Samples
License
BSD LicenseFollow Z Word Tools
You Might Also Like
With Twilio Voice, you can build unique phone call experiences with one API, to create, receive, control and monitor calls with just a few lines of code. Create an engaging voice experience that you can quickly scale and modify with a wide array of customization options and resources.
Rate This Project
Login To Rate This Project
User Reviews
There are no 2 star reviews.