CSA - CAN/CSA-ISO/IEC 13568:04
Information technology — Z formal specification notation — Syntax, type system and semantics
active, Most Current
| Organization: | CSA |
| Publication Date: | 1 January 2004 |
| Status: | active |
| Page Count: | 219 |
| ICS Code (Languages used in information technology): | 35.060 |
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
September 1, 2008
Information technology — Z formal specification notation — Syntax, type system and semantics — TECHNICAL CORRIGENDUM 1
A description is not available for this item.
January 1, 2004
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 used...
CAN/CSA-ISO/IEC 13568:04
January 1, 2004
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...
January 1, 2004
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...
January 1, 2004
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...