[Bug 452559] New: Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.




https://bugzilla.redhat.com/show_bug.cgi?id=452559

           Summary: Review Request: zfuzz - Z fuzz - Type-checker and LaTeX
                    style for Z spec language
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: low
         Component: Package Review
        AssignedTo: nobody at fedoraproject.org
        ReportedBy: dwheeler at dwheeler.com
         QAContact: extras-qa at fedoraproject.org
                CC: fedora-package-review at redhat.com,notting at redhat.com


Spec URL: http://www.dwheeler.com/zfuzz.spec
SRPM URL: http://www.dwheeler.com/zfuzz-20070911-1.fc9.src.rpm
Description:
The zfuzz (Z fuzz, previously "fuzz") package
is a collection of tools that help you to
(1) format and print good-looking specifications in the Z ("zed")
formal specification language using LaTeX, and
(2) check them for compliance with the Z scope and type rules.
The package defines a LaTeX style with extra LaTeX commands
for laying out Z specifications, and includes font definitions for
Z’s special symbols.
The type-checker includes a new "use before definition" (-d) option; with this
enabled, you can put the paragraphs of a specification in whatever order
best suits your exposition (instead of having to present material
in a stricter definition-before-use order).
It also includes a "Lisp-style echoing" option, which echos input
in a Lisp-like format for further analysis.

This package is useful if you want to create formal specifications
using the Z specification language.
The Z language accepted is that of the Z Reference Manual,
second edition, which is not exactly the same as the Z ISO standard
(see http://www.cs.york.ac.uk/hise/cadiz/standard.html for the differences).

Historically, this package was called "fuzz", but there is another
program ALSO called fuzz that users might simultaneously install.
So the name of this package and command-line type-checker has
been changed to "zfuzz".  The LaTeX style itself
continues to be named "fuzz" so LaTeX documents will continue to work.
Much of the documentation refers to this package by the name "fuzz".

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.