ISO/IEC 13568:2002
Current
The latest, up-to-date edition.
Information technology — Z formal specification notation — Syntax, type system and semantics
Hardcopy , PDF
04-07-2002
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 |
| INCITS/ISO/IEC 13568 : 2002 | Identical |
| INCITS/ISO/IEC 13568 : 2002 : R2007 | Identical |
| INCITS/ISO/IEC 13235-1 : 1998 | INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - TRADING FUNCTION: SPECIFICATION |
| INCITS/ISO/IEC 10746-4 : 1998 | 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 |
| 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 |
Please Login or Create an Account so you can add users to your Multi user PDF Later.
Important note : All end users must be registered with an Account prior to user licenses being assigned.
Users cannot be edited or removed once added to your Multi user PDF.