| Name : tex-zfuzz
| |
| Version : 0
| Vendor : Fedora Project
|
| Release : 0.20070913.3.fc12
| Date : 2009-07-29 02:34:39
|
| Group : Applications/Engineering
| Source RPM : tex-zfuzz-0-0.20070913.3.fc12.src.rpm
|
| Size : 1.07 MB
| |
| Packager : Fedora Project
| |
| Summary : Type-checker and LaTeX style for Z spec language
|
Description :
This package (formerly named \"fuzz\")
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 (through a new LaTeX style), and
(2) check them for compliance with the Z scope and type rules.
It includes a few font definitions for Z’s special symbols.
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, so the command-line type-checker\'s has been
changed to \"zfuzz\". The LaTeX style itself is still
named \"fuzz\" (so LaTeX documents will keep working).
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/14/Everything/i386/os/Packages |
