INCITS/ISO/IEC 13568 : 2002
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
INFORMATION TECHNOLOGY - Z FORMAL SPECIFICATION NOTATION - SYNTAX, TYPE SYSTEM AND SEMANTICS
Hardcopy , PDF
English
01-01-2007
13-05-2018
Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Metalanguages
5 Conformance
6 Z characters
7 Lexis
8 Concrete syntax
9 Characterisation rules
10 Annotated syntax
11 Prelude
12 Syntactic transformation rules
13 Type inference rules
14 Semantic transformation rules
15 Semantic relations
Annex A (normative) - Mark-ups
Annex B (normative) - Mathematical toolkit
Annex C (normative) - Organisation by concrete syntax production
Annex D (informative) - Tutorial
Annex E (informative) - Conventions for state-based descriptions
Bibliography
Index
Covers 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; L A T E X [10] and e-mail mark-ups of the Z notation.
| DocumentType |
Standard
|
| Pages |
196
|
| ProductNote |
Reconfirmed 2002
|
| PublisherName |
Information Technology Industry Council
|
| Status |
Superseded
|
| SupersededBy |
| Standards | Relationship |
| ISO/IEC 13568:2002 | Identical |
| ISO/IEC 10646-2:2001 | Information technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 2: Supplementary Planes |
| ISO/IEC 14977:1996 | Information technology — Syntactic metalanguage — Extended BNF |
| ISO/IEC 646:1991 | Information technology — ISO 7-bit coded character set for information interchange |
| ISO/IEC 10646-1:2000 | Information technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 1: Architecture and Basic Multilingual Plane |