Program Development by Stepwise Refinement and Related Topics
- 1 March 1981
- journal article
- website
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Bell System Technical Journal
- Vol. 60 (3) , 347-378
- https://doi.org/10.1002/j.1538-7305.1981.tb00246.x
Abstract
Computer program development by stepwise refinement has been advocated by many people. We take another look at stepwise refinement in light of recent developments in programming languages and programming methodology such as abstract data types, corre...Keywords
This publication has 14 references indexed in Scilit:
- Specification and verification of a network mail systemPublished by Springer Nature ,1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Distributed processesCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- On the Design and Development of Program FamiliesIEEE Transactions on Software Engineering, 1976
- The Mythical Man-MonthPublished by Association for Computing Machinery (ACM) ,1975
- Types are not setsPublished by Association for Computing Machinery (ACM) ,1973
- Structured multiprogrammingCommunications of the ACM, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- QuicksortThe Computer Journal, 1962