Accession Number : ADA255115

Title :   Z Through Pictures.

Descriptive Note : Memorandum rept.,

Corporate Author : DEFENCE RESEARCH AGENCY MALVERN (UNITED KINGDOM)

Personal Author(s) : Randell, G. P.

Report Date : MAR 1992

Pagination or Media Count : 47

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.

Descriptors :   *JUDGEMENT(PSYCHOLOGY), *VALIDATION, DIAGRAMS, HUMANS, INTERVENTION, SPECIFICATIONS, COMPUTER PROGRAMS, COGNITION, TEST AND EVALUATION, GREAT BRITAIN.

Subject Categories : Psychology

Distribution Statement : APPROVED FOR PUBLIC RELEASE