A formalization and explication of the Michael Jackson method of program design
- 1 March 1979
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 9 (3) , 191-202
- https://doi.org/10.1002/spe.4380090304
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The systematic design of file-processing programsSoftware: Practice and Experience, 1977
- An experiment in structured programmingBIT Numerical Mathematics, 1972