Z Through Pictures.
DEFENCE RESEARCH AGENCY MALVERN (UNITED KINGDOM)
Pagination or Media Count:
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.