Accession Number:

ADA255115

Title:

Z Through Pictures.

Descriptive Note:

Memorandum rept.,

Corporate Author:

DEFENCE RESEARCH AGENCY MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1992-03-01

Pagination or Media Count:

47.0

Abstract:

The purpose of this memorandum is to propose diagrams which may be generated from a Z specification either fully automatically or with human intervention. The main purpose of such diagrams is to illustrate the specification and thus help a reader to understand it and to validate it. Examples of the diagrams proposed are given.

Subject Categories:

  • Psychology

Distribution Statement:

APPROVED FOR PUBLIC RELEASE