Z Through Pictures

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1992
Accession Number
ADA253360

Entities

People

  • G. P. Randell

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Boundaries
  • Catalogs
  • Databases
  • Foreign Languages
  • Formal Languages
  • Hierarchies
  • Intellectual Property
  • Language
  • Natural Languages
  • Sequences
  • Set Theory
  • Software Development
  • Software Prototyping
  • Specifications
  • Tools
  • Urban Areas

Readers

  • Computer Science.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.