The structure of the software process
ACM SIGSOFT Software Engineering Notes
A spiral model of software development and enhancement
ACM SIGSOFT Software Engineering Notes
Thoughts on the software process
ACM SIGSOFT Software Engineering Notes
Approach to a disciplined development process - the ISTAR integrated project support environment
ACM SIGSOFT Software Engineering Notes
Process models, process programs, programming support
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Configuration support for system description, construction and evolution
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Communications of the ACM
The role of process models in software and systems development and evolution
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Discrete event simulation as a means of validating JSD design specifications
ICSE '85 Proceedings of the 8th international conference on Software engineering
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Software's Future: Managing Evolution
IEEE Software
A Framework to Analyse and Evaluate Information Systems Specification Languages
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Towards a computer-aided process engineering environment
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Position paper: International workshop on the software process and software environments
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.02 |
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.