Z Word Tools

Write, check, index and diagram Z specifications in Microsoft Word.

5.0 Stars (4)
6 Downloads (This Week)
Last Update:
Download spiveytostd.jar
Browse All Files
Windows

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; 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.

Z Word Tools Web Site

Categories

CASE, Design, Modeling

License

BSD License

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

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
4
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

There are no 3 star reviews.

Additional Project Details

Intended Audience

Aerospace, Developers, Financial and Insurance Industry, Information Technology

User Interface

Win32 (MS Windows)

Programming Language

C++, Java, Visual Basic

Registered

2008-07-22
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.