File 87 - Data directed design research and related materials.

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

    SCA190-GA165-5-87

    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

      Related 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

      Standard number

      Access points

      Subject access points

      Place access points

      Name access points

      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

      Script of description

        Sources

        Accession area