| Another look at software design methodology |
| Full text |
Pdf
(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
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 2, Downloads (12 Months): 13, Citation Count: 18
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Colin Potts , Andy Bartlett , Brian Cherrie , Roy MacLean, Discrete event simulation as a means of validating JSD design specifications, Proceedings of the 8th international conference on Software engineering, p.119-125, August 28-30, 1985, London, England
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|