BIT Numerical Mathematics

, Volume 28, Issue 3, pp 450–472 | Cite as

Datalogy — The copenhagen tradition of computer science

  • Edda Sveinsdottir
  • Erik Frøkjær
Part I Educational Papers

Abstract

Since the middle of the 1960s, computer science has been practised in Denmark under Peter Naur's termdatalogy, the science of data processes. Starting at Regenecentralen and the University of Copenhagen, the Copenhagen Tradition of Computer Science has developed its own special characteristics by means of a close connection with applications and other fields of knowledge. The tradition is not least visible in the area of education. Comprehensive project activity is an integral part of the curriculum, thus presenting theory as an aspect of realistic solutions known primarily through actual experience. Peter Naur early recognized the particular educational challenges presented by computer science. His innovations have shown their quality and vitality also at other universities. There is a close connection between computer science training as it has been formed at Copenhagen University, and the view of computer science which has characterized Peter Naur's research. We illustrate how the study of programming and system development conceived as a human activity has been an all-pervasive theme in Naur's work. This approach has set the scene for central research issues in software development which today seem more topical than ever.

CR categories

K.3 A0 D0 

Keywords and phrases

computer science education and training computer science datalogy programming methodology software engineering Peter Naur history 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Damgaard Andersen, J. Hilden, G. Leunbach, P. Naur, J. Born Rasmussen, T. Warnich-Hansen, and P. Winkel,Retningslinier for universitetskurser i datalogi som hjœlpefag. Vejledning for lœrere ved tilrettelœgning af fagorienterbar undervisning (Guidelines for university courses in datalogy as an auxiliary subject. Handbook for teachers in the organization of subject-oriented teaching), Københavns Universitet, Datalogisk kursusgruppe under edb-udvalget, Datalogisk Institut, 1974, 95 p.Google Scholar
  2. 2.
    P. Lindblad Andersen, P. Møller-Nielsen, and E. Sveinsdottir,Datalogi ved Københavns Universitet, Meddelelser fra Københavns Universitet, Vol. 17, no. 19, May 25, 1969.Google Scholar
  3. 3.
    N. E. Andersen, F. Kensing, M. Lassen, J. Lundin, L. Mathiassen, A. Munck-Madsen, and P. Sörgard,Professionel systemudvikling, Teknisk Forlag, København, 1986.Google Scholar
  4. 4.
    P. Brinch Hansen,The nucleus of a multiprogramming system, Comm. ACM, Vol. 13, no. 4, 1970, pp. 238–241, 250.Google Scholar
  5. 5.
    P. Brinch Hansen and Roger House,The Cobol Compiler for the Siemens 3003, BIT 6, 1966, pp. 1–23.Google Scholar
  6. 6.
    S. Bundgaard,Hvordan edb kom til Aarhus Universitet, doc. RECAU-78-86-R, Sept. 1978.Google Scholar
  7. 7.
    Curriculum 68,Recommendations for Academic Programs in Computer Science, Comm. ACM, Vol. 11, no. 3, 1968, pp. 151–197.Google Scholar
  8. 8.
    T. DeMarco,Structured Analysis and System Specification, Prentice-Hall, 1979.Google Scholar
  9. 9.
    P. J. Denning,Paradigms Crossed, Editorial, Comm. ACM, Vol. 30, no. 10, 1987, p. 808.Google Scholar
  10. 10.
    P. J. Denning,A hard look at Structured Programming. InStructured Programming, Infotech State of the Art Report, 1976, pp. 183–202.Google Scholar
  11. 11.
    E. W. Dijkstra,Go To Statements Considered Harmful, Comm. ACM, Vol. 11, no. 3, 1968.Google Scholar
  12. 12.
    E. W. Dijkstra,The Humble Programmer, Comm. ACM, Vol. 15, no. 10, 1972.Google Scholar
  13. 13.
    E. W. Dijkstra,Notes on Structured Programming. In O. J. Dahl, E. W. Dijkstra and C. A. R. Hoare:Structured Programming, Academic Press, 1972 or later, pp. 1–82.Google Scholar
  14. 14.
    DIKU-blad 3.9,Immatrikulerede datalogistuderende ved Københavns Universitet oktober 1987, Datalogisk Institut, Københavns Universitet, March 1988, 11 p.Google Scholar
  15. 15.
    O. Dopping,Suggestion for teaching of administrative data processing at Swedish universities, BIT, Vol. 5, 1965, pp. 73–84.Google Scholar
  16. 16.
    H. Dreyfus and S. Dreyfus,Mind over Machine, The Free Press, N.Y., 1986.Google Scholar
  17. 17.
    P. Ehn and M. Kyng,A Tool Perspective on Design of Interactive Computer Support for Skilled Workers, Proc. 7th Scandinavian Research Seminar on Systemeering, Helsinki, 1984.Google Scholar
  18. 18.
    L. Fein (org.),Panel on University Education in Information Processing, IFIP Congress 1962, pp. 763–765.Google Scholar
  19. 19.
    C. Floyd,A Comparative Evaluation of System Development Methods. In T. W. Olle, H. G. Sol, A. A. Verrijn-Stuart (eds.):Information Systems Design Methodologies: Improving the Practice, North-Holland, Amsterdam, 1986.Google Scholar
  20. 20.
    C. Floyd,Outline of a Paradigm Change in Software Engineering. In G. Bjerknes, P. Ehn and M. Kyng (eds.):Computers and Democracy, Avebury, Gower Publishing Co., England, 1987.Google Scholar
  21. 21.
    G. Forsythe,A University's Educational Program in Computer Science, Comm. ACM, Vol. 10, no. 1, 1967.Google Scholar
  22. 22.
    S. Gorn,The Computer and Information Science: A New Basic Discipline, SIAM Review, Vol. 5, no. 2, 1963, pp. 150–155.Google Scholar
  23. 23.
    C. Gram, O. Hestvik, H. Isaksson, P. T. Jacobsen, J. Jensen, P. Naur, B. S. Petersen and B. Svejgaard,Gier — A Danish Computer of Medium Size, IEEE Transactions on Electronic Computers, no. 5, 1963, pp. 629–650.Google Scholar
  24. 24.
    D. Gries,The Science of Programming, Springer-Verlag, 1981, p. 297.Google Scholar
  25. 25.
    I. Gryndahl, T. Møller, K. Hansen, F. Sejergaard Olsen, O. Caprani, A. P. Ravn, and S. Jürs,Utopia II: Situationsrapport for Datalogisk Institut ved Københavns Universitet, Copenhagen University, summer 1970, 33 p.Google Scholar
  26. 26.
    M. A. Jackson,Principles of Program Design, Academic Press, 1975.Google Scholar
  27. 27.
    M. A. Jackson,System Development, Prentice Hall International, 1983.Google Scholar
  28. 28.
    P. Johansen,Datalogi, Københavns Universitet 1479–1979, Vol. XII, København, 1983, pp. 201–211.Google Scholar
  29. 29.
    Johnsen rapporten”,Betœnkning om edb-undervisning i det offentlige uddannelsessystem, Betænkning 666, Undervisningsministeriet, 1972.Google Scholar
  30. 30.
    A. Helms Jørgensen,On the Psychology of Prototyping. In R. Budde, Kuhlenkamp, and L. Mathiassen (eds.):Approaches to Prototyping, Proceedings of the working conference, Namur, Oct. 1983, Springer, N.Y., 1984, pp. 278–289.Google Scholar
  31. 31.
    Kandidater i matematik-, fysik- og kemifagene: Hvor gik de hen?, Fysisk Institut, Århus Universitet, 1987, 112 p.Google Scholar
  32. 32.
    D. E. Knuth,Structured Programming With go to Statements, Computing Surveys, Vol. 6, no. 4, 1974, pp. 261–301. Also in R. T. Yeh (ed.):Current Trends in Programming Methodology, Vol. I, Software Specification and Design, Prentice Hall, 1977, pp. 140–194.Google Scholar
  33. 33.
    S. Lammers,Programmers at Work — Interviews, Charles Simonyi, pp. 6–24, Microsoft Press, 1986.Google Scholar
  34. 34.
    Aa. Melbye and P. Sveistrup,The need for education and research in administrative data processing, BIT, Vol. 2, 1962, pp. 35–44.Google Scholar
  35. 35.
    P. Naur (ed.), J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, V. van Wijngaarden, and M. Woodger,Report on the Algorithmic Language Algol 60, Comm. ACM, Vol. 3, no. 6, 1960, pp. 299–314.Google Scholar
  36. 36.
    P. Naur,The Design of the Gier Algol Compiler, BIT, Vol. 3, 1963, part I: pp. 124–140, part II: pp. 145–166.Google Scholar
  37. 37.
    P. Naur,Forslag og ønsker vedrørende datalogien ved Københavns universitet, (Proposals and wishes as to datalogi at Copenhagen University), unpublished note, January 1969, 5 pp.Google Scholar
  38. 38.
    P. Naur,Go to statements and good Algol style, BIT, Vol. 3, 1963, pp. 204–208.Google Scholar
  39. 39.
    P. Naur,The Place of Programming in a World of Problems, Tools and People, Proc. IFIP Congress 65, Vol. I, 1965, pp. 195–199.Google Scholar
  40. 40.
    P. Naur,Proof of algorithms by general snaphots, BIT, Vol. 6, 1966, pp. 310–316.Google Scholar
  41. 41.
    P. Naur,The Science of Datalogy. Letter to the editor. Comm. ACM, Vol. 9, no. 7, 1966, p. 485.Google Scholar
  42. 42.
    P. Naur,Program Translation Viewed as a General Data Processing Problem, Comm. ACM, Vol. 9, 1966, pp. 176–179.Google Scholar
  43. 43.
    P. Naur,Plan for et kursus i datalogi og datamatik (Plan for a course of datalogy and datamatics), A/S Regnecentralen, København, March 1966, 64 p. See Computing Reviews for English description, CR 16,098.Google Scholar
  44. 44.
    P. Naur,Datalogi og datamatik og deres placering i uddannelsen (Datalogy and datamatics and their place in education), Magisterbladet no. 10, May 15, 1966.Google Scholar
  45. 45.
    P. Naur,Datamaskinerne og samfundet (Computers and society), Munksgaards Forlag, 1967, 104 p.Google Scholar
  46. 46.
    P. Naur,Demokrati i datamatiseringens tidsalder, Kriterium 3. arg., no. 5, 1968, pp. 31–32.Google Scholar
  47. 47.
    P. Naur,Datalogy, The Science of Data and Data Processes and its Place in Education, Proc. IFIP Congress 68, Vol. II, 1968, pp. 1383–1387.Google Scholar
  48. 48.
    P. Naur,Project Activity in Computer Science Education, Lezione “Leonardo Fibonacci”, Pisa, 1969, 13 p.Google Scholar
  49. 49.
    P. Naur,A course of datalogy for radio and TV, NordDATA-69, Part 3, (1969), pp. 53–60.Google Scholar
  50. 50.
    P. Naur and B. Randell (eds.),Software engineering, Nato Science Committee, Brussels, 1969, 231 p. Reprinted in Naur, P., B. Randell and J. N. Buxton (eds.):Software Engineering: Concepts and Techniques, Petrocelli/Charter, New York, 1976.Google Scholar
  51. 51.
    P. Naur,Programming by Action Clusters, BIT, Vol. 9, 1969, pp. 250–258.Google Scholar
  52. 52.
    P. Naur,Datalogi i skolen (Datalogy in the school), Notabene, Gjellerups Forlag, 6. årg., no. 2, December 1970.Google Scholar
  53. 53.
    P. Naur,Planer og ideer for et datalogisk institut ved Københavns Universitet (Plans and ideas for an institute of datalogy at Copenhagen University), Studentlitteratur, Lund, 1970, 89 p.Google Scholar
  54. 54.
    P. Naur,Problemformulering — edb-projektets grobund (Problem formulation — the fertile soil of the EDP project), Data no. 1, 1971, pp. 46–48.Google Scholar
  55. 55.
    P. Naur,An Experiment on Program Development, BIT, Vol. 12, no. 3, 1972, pp. 347–365.Google Scholar
  56. 56.
    P. Naur,Programming languages — status and trends, Data, Vol. 6, 1972, pp. 36–38.Google Scholar
  57. 57.
    P. Naur,Concise Survey of Computer Methods, Studentlitteratur, Lund, 1974, 397 p.Google Scholar
  58. 58.
    P. Naur,What happens during Program Development — an Experiment. In Lundeberg and Bubenko (eds.):Systemeering 75, Studentlitteratur, 1975, pp. 269–289.Google Scholar
  59. 59.
    P. Naur,Trends in Computer Science Education. In Lecture Notes in Computer Science 26, Springer-Verlag, 1975, pp. 85–93.Google Scholar
  60. 60.
    P. Naur,Programming Languages, Natural Languages, and Mathematics, Comm. ACM, Vol. 18, no. 12, 1975, pp. 676–683.Google Scholar
  61. 61.
    P. Naur,Control Record Driven Processing. InStructured Programming, The Infotech International State of the Art Report, (1976), pp. 309–322. Also in R. T. Yeh (ed.):Current Trends in Programming Methodology. Vol. I, Software Specification and Design, Prentice Hall, 1977, pp. 220–232.Google Scholar
  62. 62.
    P. Naur,Software Reliability. InReliable Software, Vol. 2: Invited Papers, Infotech State of the Art Report, Maidenhead, England, (1977), pp. 243–251.Google Scholar
  63. 63.
    P. Naur,Review 37686: John Backus: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Computing Reviews, Vol. 20, no. 11 (1978), p. 445.Google Scholar
  64. 64.
    P. Naur,Diminishing returns of user programming. In Infotech State of the Art Report:Future programming, Vol. 2, 1978, pp. 143–149.Google Scholar
  65. 65.
    P. Naur,Impressions of the early days of programming, BIT, Vol. 20, 1980, pp. 414–423.Google Scholar
  66. 66.
    P. Naur,An empirical approach to program analysis and construction. InSystems Architecture, Proc. 6th ACM European Regional Conference, ICS 81, 1981, pp. 265–272.Google Scholar
  67. 67.
    P. Naur,The European side of the last phase of the development of ALGOL 60. In R. L. Wexelblat (ed.):Proc. History of Programming Language Conference, 1978, Academic Press, New York, 1981, pp. 92–139, 147–161.Google Scholar
  68. 68.
    P. Naur,Prospects for the programming methodologies, Infotech State of the Art Report, Ser. 9, no. 6, System Design, 1981, pp. 293–300.Google Scholar
  69. 69.
    P. Naur,Formalization in Program Development, BIT, Vol. 22, 1982, pp. 437–453.Google Scholar
  70. 70.
    P. Naur,Program development studies based on diaries. In T. R. G. Green, S. J. Payne, G. C. van der Veer (eds.):Psychology of Computer Use, Academic Press, London, 1983, pp. 159–170.Google Scholar
  71. 71.
    P. Naur,Datalogiens veje og vildveje (The ways and blind ways of Datalogy), Weekendavisen, December 9, 1983.Google Scholar
  72. 72.
    P. Naur,Programming as Theory Building, Microprocessing and Microprogramming 15, 1985, pp. 253–261.Google Scholar
  73. 73.
    P. Naur,Intuition in Software Development. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher (eds.):Formal Methods and Software Development, Vol. 2: Colloqium on Software Engineering, Lecture Notes in Computer Science 186, Springer-Verlag, Berlin, 1985, pp. 60–79.Google Scholar
  74. 74.
    P. Naur,Review 8502-0062of D. Mitchie: Machine intelligence and related topics, Computing Reviews, Vol. 26, no. 2, 1985, pp. 101–104.Google Scholar
  75. 75.
    P. Naur,Thinking and Turing's Test, BIT, Vol. 26, 1986, pp. 175–187.Google Scholar
  76. 76.
    P. Naur,Programming Studied from Case Activity Records, Invited lecture to Fifth Symposium on Empirical Foundations of Information and Software Science, 23–25 November 1987, Risø National Laboratory. To be published in:Empirical Foundations of Information and Software Science, Plenum Press, N.Y.Google Scholar
  77. 77.
    P. Naur,Programmeringssprog er ikke sprog (Programming languages are not languages), Mål og Mæle, Vol. 12, no. 2, 1988, Gads Boghandel, København, pp. 24–31.Google Scholar
  78. 78.
    D. L. Parnas,On the Design and Development of Program Families, IEEE Trans. Software Engineering, March 1976, pp. 1–9. Also in D. Gries (ed.):Programming Methodology, Springer Verlag, 1978, pp. 360–361.Google Scholar
  79. 79.
    Planudvalget for DIKU,Forslag til afhjælpning af problemer ved Datalogisk Institut, Det naturvidenskabelige Fakultet, Københavns Universitet, February 1983.Google Scholar
  80. 80.
    G. Ryle,The Concept of Mind, Peregine Book, Penguin Books Ltd., 1963. First published by Hutchinson, 1949.Google Scholar
  81. 81.
    E. Sveinsdottir og E. Frøkjær,Datalogi og informatik ved Københavns Universitet, Uddannelse, Vol. 17, no. 1, Undervisningsministeriet 1984.Google Scholar
  82. 82.
    P. Sveistrup, P. Naur, H. B. Hansen, and C. Gram (eds.):Niels Ivar Bech — en epoke i edbudviklingen i Danmark, Data, 1976.Google Scholar
  83. 83.
    An Undergraduate Program in Computer Science — Preliminary Recommendations, Report from the ACM Curriculum Committee on Computer Science, Comm. ACM, Vol. 8, no. 9, 1965.Google Scholar
  84. 84.
    T. Winograd and F. Flores,Understanding Computers and Cognition — A new foundation for design, Ablex Publishing Co., 1986.Google Scholar
  85. 85.
    N. Wirth,Program Development by Stepwise Refinement, Comm. ACM, Vol. 14, April 1971, pp. 221–227.Google Scholar
  86. 86.
    E. Yourdon and L. L. Constantine,Structured Design: Fundamentals of a Discipline of Computer Programming and Systems Design, Prentice-Hall, 1979.Google Scholar
  87. 87.
    E. Yourdon,Managing the System Life Cycle, a software development methodology overview, Yourdon Press, N.Y., 1983.Google Scholar

Copyright information

© BIT Foundations 1988

Authors and Affiliations

  • Edda Sveinsdottir
    • 1
    • 2
  • Erik Frøkjær
    • 1
    • 2
  1. 1.Datalogisk AfdelingRoskilde UniversitetscenterRoskildeDenmark
  2. 2.Datalogisk InstitutKøbenhavns UniversitetKøbenhaven ØDenmark

Personalised recommendations