ANSI - INCITS/ISO/IEC 13568
Information technology - Z formal specification notation - Syntax, type system and semantics
active, Most Current
| Organization: | ANSI |
| Publication Date: | 1 July 2002 |
| Status: | active |
| Page Count: | 198 |
scope:
• The following are within the scope of this International Standard:
• the syntax of the Z notation;
• the type system of the Z notation;
• the semantics of the Z notation;
• a toolkit of widely used mathematical operators;
• LATEX [10] and e-mail mark-ups of the Z notation.
The following are outside the scope of this International Standard:
• any method of using Z, though an informative annex (E) describes one widely-used convention.
Document History
July 1, 2002
Information technology - Z formal specification notation - Syntax, type system and semantics
A description is not available for this item.
INCITS/ISO/IEC 13568
July 1, 2002
Information technology - Z formal specification notation - Syntax, type system and semantics
• The following are within the scope of this International Standard:
• the syntax of the Z notation;
• the type system of the Z notation;
• the semantics of the Z notation;
• a toolkit of widely...