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