A report titled, "The development proposal - the first step in software system construction," by Donald Cowan and A.Von Staa (Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil). The report was published by the Faculty of Mathematics at the University of Waterloo as Research Report CS-78-31 in June 1978. The cover page of the report includes a note that the research was supported in part by Canadian National Research Council Grant A2655. The report is seventy-six pages.

A typed manuscript 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). The manuscript is 48 pages. In addition, the file contains a second copy of the article on a dot matrix printout and two copies of abstracts and introductions for the article in both English and Portuguese.

Two typed manuscripts titled, "Some thoughts on the construction of programs - a data-directed approach" by Donald Cowan and Carlos J. P. Lucena, Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil. One manuscript is a draft (photocopy) with annotations and is seventeen pages. The second manuscript is a master copy (photocopy) and is five pages.

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).

Material related to a proposal with the Canadian International Development Agency to support a twinning agreement between the Computer Science Department of the Pontifical Catholic University (PUC) of Rio de Janeiro, Brazil and the Computer Science Departments of the Universities of Waterloo and Toronto. Includes correspondence, draft copies of the proposal with notes and corrections, notes, two copies of a report titled, "The application of computer technology for development: report of the Secretary-General" published by the United Nations Economic and Social Council on May 20, 1970, and related items.

One carousel of slides. The box is labelled "African trip". The carousel is labelled "Rio de Janeiro". The carousel contains slides identified as both, all dated Dec. 1970.

Two typed copies of a manuscript titled, "A discussion of the concept of modules in programming systems" by Donald Cowan as well as C.J. Lucena and A. von Staa, Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil. Both copies (original and photocopy) of the manuscript are twelve pages.

A copy of an article titled, "A data-directed approach to program construction," by Donald Cowan and C.J.P. Lucena (Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, Brazil). This cover page of the article notes that the research was supported by Canadian National Research Grant A2655. The article appears to be published by the Faculty of Mathematics, University of Waterloo.