• There are no items in your cart

CSA ISO/IEC 13568 : 2004

Superseded
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
superseded

A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.

INFORMATION TECHNOLOGY - Z FORMAL SPECIFICATION NOTATION - SYNTAX, TYPE SYSTEM AND SEMANTICS
Available format(s)

Hardcopy , PDF

Superseded date

07-17-2021

Language(s)

English

Published date

01-01-2017

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
213
ProductNote
Reconfirmed EN NEW CHILD COR 1 IS NOW ADDED.
PublisherName
Canadian Standards Association
Status
Superseded
SupersededBy

Standards Relationship
ISO/IEC 13568:2002 Identical

ISO/IEC 14977 : 1996(R2018) INFORMATION TECHNOLOGY - SYNTACTIC METALANGUAGE - EXTENDED BNF
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

View more information

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.