CADiZ

What does CADiZ do?


CADi\num is a set of free software tools that aims to give direct support to use of ISO Standard Z notation. Compared to the notation of the Z Reference Manual of 1992, ISO Standard Z provides some useful generalisations. CADi\num has only minor deviations from the latest draft of the ISO Z standard, and resolves the looseness in that standard in documented ways.

The CADi\num toolset provides:

A Z specification is prepared for processing by CADi\num using your favourite ASCII text editor, where mathematical symbols are represented by names in either LATEX or troff mark-up. So you don't have to learn a new editor to use CADi\num.

By direct support, we mean that the tools manipulate Z itself, not some other notation into which Z would be translated, so there is no risk of exposing an underlying notation that might bewilder a user.

Future improvements that we foresee for CADi\num, given time (and funding), are listed under further work.


IT 27-Nov-2000