Showing 3 results

Archival description
South America
Print preview View:

Data directed design research and related materials.

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.

Canadian International Development Agency proposed twinning agreement.

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.

Cowan, Donald D.

Alice Riggs Hunt fonds : 2016 accrual

Accrual consists of materials created and accumulated by Alice Riggs Hunt and her family. Includes correspondence to and from Alice, locks of hair, and photographs. The photographs document other members of the Hunt family including her mother Mary Osgood Riggs Hunt (1860-1953) and her brother Charles Warren Hunt Jr. (1888-1953). Also present are over 500 slides documenting Charles Warren Hunt Jr.'s trip around the world.

Hunt, Alice Riggs