z word tools online with Winfy

We have hosted the application z word tools in order to run this application in our online workstations with Wine or directly.

Quick description about z word tools:

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.

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

Audience: Aerospace, Developers, Financial and Insurance Industry, Information Technology.
User interface: Win32 (MS Windows).
Programming Language: C++, Java, Visual Basic.

.