ACM Home Page
Please provide us with feedback. Feedback
Another look at software design methodology
Full text PdfPdf (1.33 MB)
Source ACM SIGSOFT Software Engineering Notes archive
Volume 9 ,  Issue 2  (April 1984) table of contents
Pages: 38 - 53  
Year of Publication: 1984
ISSN:0163-5948
Authors
M. M. Lehman  DoC, Imperial College, London
V. Stenning  Imperial Software Technology, London
W. M. Turski  Warsaw University, Poland
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 13,   Citation Count: 18
Additional Information:

abstract   cited by   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1010925.1010928
What is a DOI?

ABSTRACT

Software design - from 'topmost' specification down to final implementation - is viewed as a chain of uniform steps, each step being a transformation between two linguistic levels. A canonical form of the step is discussed and it is argued that all rational design activities are expressible as a combination of canonical steps. The role of backtracking in software design is explained and a mechanism for introducing changes, both indigeneous and exogeneous, is proposed, again entirely by a combination of canonical steps. The main tenet of the 'canonical step approach' is that a design step contains a degree of unconstrained, creative invention and a calculable part which is the actual transformation effected.


CITED BY  18
Collaborative Colleagues:
M. M. Lehman: colleagues
V. Stenning: colleagues
W. M. Turski: colleagues