A Guided Tour of Program Design Methodologies
- 1 October 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 14 (10) , 13-37
- https://doi.org/10.1109/c-m.1981.220206
Abstract
After describing, applying, comparing, and evaluating four major methodologies, this guided tour concludes with an interim procedure for use until the "right" method appears.Keywords
This publication has 11 references indexed in Scilit:
- The UNIX Time-Sharing System†Bell System Technical Journal, 1978
- Software EngineeringPublished by Springer Nature ,1978
- An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct ProgramsIEEE Transactions on Software Engineering, 1976
- Software EngineeringIEEE Transactions on Computers, 1976
- Structured programming in a production programming environmentIEEE Transactions on Software Engineering, 1975
- The Mythical Man-MonthPublished by Association for Computing Machinery (ACM) ,1975
- Software engineering or methods for the multi-person construction of multi-version programsPublished by Springer Nature ,1975
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- The humble programmerCommunications of the ACM, 1972