Accession Number:

ADA250769

Title:

Improving the Translation from Data Flow Diagrams into Z by Incorporating the Data Dictionary

Descriptive Note:

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1992-01-01

Pagination or Media Count:

38.0

Abstract:

Earlier work developed formal translation rules for generating a specification in the formal language Z from a data flow diagram. The Z specification produced lacked detail, especially on the types of the data flowing around the system. This report describes how to use information from a data dictionary to improve the Z specification. Formal translation rules from a data dictionary to Z are presented.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE