Title and statement of responsibility area
Title proper
Data directed design research and related materials.
General material designation
Parallel title
Other title information
Title statements of responsibility
Title notes
Level of description
File
Reference code
Edition area
Edition statement
Edition statement of responsibility
Class of material specific details area
Statement of scale (cartographic)
Statement of projection (cartographic)
Statement of coordinates (cartographic)
Statement of scale (architectural)
Issuing jurisdiction and denomination (philatelic)
Dates of creation area
Date(s)
-
[1980?]-[1983?] (Creation)
Physical description area
Physical description
Publisher's series area
Title proper of publisher's series
Parallel titles of publisher's series
Other title information of publisher's series
Statement of responsibility relating to publisher's series
Numbering within publisher's series
Note on publisher's series
Archival description area
Name of creator
Biographical history
Donald D. Cowan is a Distinguished Professor Emeritus (1999) and Adjunct Professor in the School of Computer Science, University of Waterloo, Waterloo, Ontario. He received a BASc in Engineering Physics from the University of Toronto in 1960 and an MSc and PhD from the University of Waterloo in Applied Mathematics in 1961 and 1965 respectively. He joined the Faculty of the University of Waterloo in 1961 and was the first chair of the Dept. of Applied Analysis and Computer Science, now the School of Computer Science (1967 to 1972) and also served as Associate Dean of Graduate Studies in the Faculty of Mathematics (1974 to 1978). Donald D. Cowan is Director of the Computer Systems Group, a computer science research group at the University of Waterloo in which he has been involved since the early 1960's.
Custodial history
Scope and content
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).
Notes area
Physical condition
Immediate source of acquisition
Donated by Dr. Donald D. Cowan in 2004.
Arrangement
Language of material
- English
Script of material
Location of originals
Availability of other formats
Restrictions on access
Terms governing use, reproduction, and publication
Finding aids
Associated materials
Accruals
General note
For additional material related to the article, "The data transform programming method and file processing problems," please refer to the list of files linked in the related materials note.
Alternative identifier(s)
Standard number area
Standard number
Access points
Subject access points
Place access points
Name access points
- University of Waterloo (Subject)
Genre access points
Control area
Description record identifier
Institution identifier
Rules or conventions
Status
Level of detail
Dates of creation, revision and deletion
Described by CW and edited by JB 2005.
Revised by NM 2023.
Language of description
- English