Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01)

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

01-01-2004

Publisher

Canadian Standards Association

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.

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.

DocumentType	Standard
Pages	224
ProductNote	Reconfirmed EN
PublisherName	Canadian Standards Association
Status	Current
Supersedes	CSA ISO/IEC 13568 : 2004 : R2012

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

US$295.00

Excluding Tax where applicable

Product format

I agree to the DRM document license rules apply against the PDF selection made.

Please confirm that you agree to the document license rules for this document.

I agree to the document license rules .

Please confirm that you agree to the document license rules for this document.

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.

Learn more on subscription solutions

Get in touch with us

Log into your Account

CAN/CSA-ISO/IEC 13568-04 (R2017)

Current

Table of Contents

Abstract

Scope

General Product Information

International Equivalents

Standards Referencing This Book

Category

Subcategory

Access your standards online with a subscription