CAN/CSA-ISO/IEC 13568-04 (R2017)
Current
The latest, up-to-date edition.
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01)
Hardcopy , PDF
English
01-01-2004
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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
Defines: - 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.
| DocumentType |
Standard
|
| Pages |
224
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Current
|
| Supersedes |
Technical corrigendum #1 to this standard is available. 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.
| 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 |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.