INFORMATION TECHNOLOGY - Z FORMAL SPECIFICATION NOTATION - SYNTAX, TYPE SYSTEM AND SEMANTICS

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

01-01-2007

Publisher

Information Technology Industry Council

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 2007
PublisherName	Information Technology Industry Council
Status	Current

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 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$184.44

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

INCITS/ISO/IEC 13568 : 2002 : R2007

Current

Table of Contents

Abstract

General Product Information

International Equivalents

Standards Referencing This Book

Category

Subcategory

Access your standards online with a subscription