ISO/IEC 13568:2002
Current
The latest, up-to-date edition.
Information technology — Z formal specification notation — Syntax, type system and semantics
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
04-07-2002
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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.
| Committee |
ISO/IEC JTC 1/SC 22
|
| DocumentType |
Standard
|
| Pages |
189
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| NEN ISO/IEC 13568 : 2002 C1 2007 | Identical |
| BS ISO/IEC 13568:2002 | Identical |
| CSA ISO/IEC 13568 : 2004 | Identical |
| INCITS/ISO/IEC 13568 : 2002 | Identical |
| INCITS/ISO/IEC 13568 : 2002 : R2007 | Identical |
| CSA ISO/IEC 13568 : 2004 : R2012 | Identical |
| CAN/CSA-ISO/IEC 13568-04 (R2017) | Identical |
| INCITS/ISO/IEC 13235-1 : 1998 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - TRADING FUNCTION: SPECIFICATION |
| CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| INCITS/ISO/IEC 10746-4 : 1998 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| CSA ISO/IEC 10746-4 : 2001 : R2014 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| ISO/IEC TR 14369:2018 | Information technology — Programming languages, their environments and system software interfaces — Guidelines for the preparation of language-independent service specifications (LISS) |
| BS ISO/IEC 10746-4:1998 | Information technology. Open distributed processing. Reference model Architectural semantics |
| INCITS/ISO/IEC 13235-1 : 1998 : R2007 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - TRADING FUNCTION: SPECIFICATION |
| BS ISO/IEC 13235-1:1998 | Information technology. Open distributed processing. Trading function Specification |
| ANSI INCITS 359 : 2012 | INFORMATION TECHNOLOGY - ROLE BASED ACCESS CONTROL |
| INCITS/ISO/IEC 10746-4 : 1998 : R2007 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| ANSI INCITS 494 : 2012 | INFORMATION TECHNOLOGY - ROLE BASED ACCESS CONTROL - POLICY-ENHANCED |
| CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003:R2009 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| CSA ISO/IEC 10746-4 : 2001 : FR | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS |
| 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.