Material created and accumulated by Donald Cowan related to data directed design. Includes notes, correspondence, computer printouts, a bibliography, and related items. In addition the file includes copies of the following articles:
-
1. Manna, Zohar and Richard Waldinger. (January 1980). A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, volume 2, (number 1), pages 90-121.
-
2. Cheatham, T.E., G.H. Holloway, and J.A. Townley. (1981). Program refinement by transformation. IEEE Transactions on Software Engineering, pages 430-437.
-
3. Bergland, G.D. (October 1981). A guided tour of program design methodologies. Computer, pages 13-37.
-
4. Sharma, D.K. (November 1981). McDonald's problem : an example of using Dijkstra's programming method. The Bell System Technical Journal, volume 60, (number 9), pages 2157-2165.
-
5. Levy, Michael R. (June 1982). Modularity and the sequential file update problem. Communications of the ACM, volume 25, (number 6), pages 362-367.
The materials in this file may have been used to support the creation of the article titled, "The data transform programming method and file processing problems"by C.J. Lucena, R.C.B. Martins, and P.A.S. Veloso (Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil) and Donald Cowan (Department of Computer Science, University of Waterloo).
Cowan, Donald D.