Málaflokkur 87 - Data directed design research and related materials.

Title and statement of responsibility area

Samræmdur titill

Data directed design research and related materials.

General material designation

    Hliðstæður titill

    Aðrar upplýsingar um titil

    Title statements of responsibility

    Athugasemdir um titil

    Þrep lýsingar

    Málaflokkur

    Varðveislustaður

    Tilvísunarkóði

    SCA190-GA165-5-87

    Útgáfusvæði

    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)

    Skráningardagsetningar

    Dagsetning(ar)

    • [1980?]-[1983?] (Sköpun)

    Lýsandi samantekt

    Lýsandi samantekt

    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

    Lýsandi samantekt

    Nafn skjalamyndara

    Lífshlaup og æviatriði

    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.

    Varðveislusaga

    Umfang og innihald

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

    Athugasemdir

    Physical condition

    Um aðföng

    Donated by Dr. Donald D. Cowan in 2004.

    Röðun

    Tungumál efnis

    • enska

    Leturgerð efnis

      Staðsetning frumrita

      Önnur snið í boði

      Takmarkaður aðgangur

      Ákvæði er varða notkun, afritun og birtingu

      Leiðarvísir

      Tegnd efni

      Related materials

      Viðbætur

      Almenn athugasemd

      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.

      Annað auðkenni

      Staðlað númer

      Staðlað númer

      Aðgangsleiðir

      Efnisorð

      Nöfn

      Genre access points

      Stjórnsvæði

      Description record identifier

      Kennimark stofnunar

      Reglur eða aðferð

      Staða

      Skráningarstaða

      Skráningardagsetning

      Described by CW and edited by JB 2005.
      Revised by NM 2023.

      Tungumál lýsingar

      • enska

      Letur lýsingar

        Heimildir

        Aðföng