Document Type

Technical Report

Publication Date

1982-02-01

Filename

WUCS-82-5.pdf

Technical Report Number

WUCS-82-5

Abstract

The paper describes a proposal for a methodology definition language and illustrates it on a variant of a well-known methodology, top-down program design. The language describes: (1) the structure of and the relations between various products of the design process (they are referred to here as configuration items and may include such things as system requirements, program specifications, module design, code, etc.); (2) changes in the state of these configuration items and consistency constraints between their states; and (3) the sequencing of design activities permitted by the methodology. A separate section addresses the way in which backtracking due to design errors is treated in the language.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7S46Q89

Share

COinS