UNLIMITED FREE
ACCESS TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Select Your Free Newsletters

Industry Newsletters

Select Your Free Product Alerts

Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

ISO/IEC 13568

Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics

active, Most Current
Buy Now
Organization: ISO
Publication Date: 1 July 2002
Status: active
Page Count: 196
ICS Code (Languages used in information technology): 35.060

Document History

ISO/IEC 13568
July 15, 2007
Information technology - Z formal specification notation - Syntax, type system and semantics - TECHNICAL CORRIGENDUM 1
A description is not available for this item.
ISO/IEC 13568
July 1, 2002
Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics
A description is not available for this item.

References

This document is referenced by:
ISO/IEC TR 14369 - Information technology - Programming languages, their environments and system software interfaces - Guidelines for the preparation of language-independent service specifications (LISS)
Published by ISO on January 1, 2018
This document provides guidelines to those concerned with developing specifications of information technology services and their interfaces intended for use by clients of the services, in particular...
This document is referenced by:
BS PD ISO/IEC TR 14369 - Information technology — Programming languages, their environments and system software interfaces — Guidelines for the preparation of languageindependent service specifications (LISS)
Published by BSI on February 28, 2018
A description is not available for this item.
This document is referenced by:
ANSI INCITS 359 - Information Technology – Role Based Access Control
Published by ANSI on May 29, 2012
This standard consists of two main parts – the RBAC Reference Model and the RBAC System and Administrative Functional Specification. The RBAC Reference Model defines sets of basic RBAC elements...
This document is referenced by:
ANSI/INCITS 526 - Information Technology – Next Generation Access Control – Generic Operations and Data Structures (NGAC-GOADS)
Published by ANSI on February 17, 2016
This standard provides a detailed refinement of the definitions and concepts in the access control architecture and framework defined by the NGAC-FA standard. To provide a precise specification of...
This document is referenced by:
ANSI/INCITS 494 - Information Technology – Role Based Access Control – Policy-Enhanced
Published by ANSI on July 26, 2012
Role Based Access Control (RBAC) has been criticized for the difficulty of setting up an initial role structure and for inflexibility in rapidly changing domains. A pure RBAC solution may provide...
View Less
View All
Advertisement