ISO/IEC 13568:2002
Information technology - Z formal specification notation - Syntax, type system and semantics
- Standard No.
- ISO/IEC 13568:2002
- Release Date
- 2002
- Published By
- International Organization for Standardization (ISO)
- Status
- Replace By
- ISO/IEC 13568:2002/Cor 1:2007
- Latest
- ISO/IEC 13568:2002/Cor 1:2007
- 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.
ISO/IEC 13568:2002 history
- 2007 ISO/IEC 13568:2002/Cor 1:2007 Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1
- 2002 ISO/IEC 13568:2002 Information technology - Z formal specification notation - Syntax, type system and semantics
