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