Technical Report Number
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.
Roman, Gruia-Catalin, "On Reducing Ambiguities in Methodology Definitions" Report Number: WUCS-82-5 (1982). All Computer Science and Engineering Research.