Software Development
- 1 December 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-2 (4), 265-273
- https://doi.org/10.1109/tse.1976.233831
Abstract
Software development has emerged as a critical bottleneck in the human use of automatic data processing. Beginning with ad hoc heuristic methods of design and implementation of software systems, problems of software maintenance and changes have become unexpectedly large. It is contended that improvement is possible only with more rigor in software design and development methodology. Rigorous software design should survive its implementation and be the basis for further evolution. Software development should be done incrementally, in stages with continuous user participation and replanning, and with design-to-cost programming within each stage.Keywords
This publication has 16 references indexed in Scilit:
- Iterative Enhancement: A Practical Technique for Software DevelopmentPublished by Springer Nature ,2005
- Structured programming and formal specificationIEEE Transactions on Software Engineering, 1975
- How to write correct programs and know itACM SIGPLAN Notices, 1975
- Structured programming in a production programming environmentACM SIGPLAN Notices, 1975
- Specification techniques for data abstractionsACM SIGPLAN Notices, 1975
- How to write correct programs and know itPublished by Association for Computing Machinery (ACM) ,1975
- The new math of computer programmingCommunications of the ACM, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968