| Z Notation |
Website Links For Notation |
Information AboutZ Notation |
|
Z was developed by the Programming Research Group at Oxford University in the late 1970s and is based on the standard mathematical notation used in Axiomatic Set Theory , Lambda Calculus , and First-order Predicate Logic . All expressions in Z notation are typed, thereby avoiding some of the Paradox es of Naive Set Theory . Z contains a standardized catalog (called the ''mathematical toolkit'') of commonly used mathematical functions and predicates. Although Z notation uses many non- ASCII symbols, the specification includes suggestions for rendering the Z notation symbols in ASCII and in LaTeX . A valuable resource for newcomers interested in learning Z is The Z Notation: a reference manual . Z notation was used in the IBM CICS project. STANDARDS The ISO completed a Z standardization effort in 2002. This standard, entitled ''Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics'', ISO/IEC 13568:2002, can be obtained directly from ISO. 13568_2002.zip , 1 MB PDF, 196 pages SEE ALSO
EXTERNAL LINKS
|
|
|