Datalogy — The copenhagen tradition of computer science

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.

[1]  Peter Naur,et al.  The European side of the last phase of the development of ALGOL 60 , 1978, SIGP.

[2]  Morten Kyng,et al.  A Tool Perspective on Design of Interactive Computer Support for Skilled Workers , 1986 .

[3]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[4]  Peter Naur.  Proof of Algorithms by General Snapshots , 1966 .

[5]  Edsger W. Dijkstra,et al.  Letters to the editor: go to statement considered harmful , 1968, CACM.

[6]  Edward Yourdon,et al.  Structured design : fundamentals of a discip!ine of computer proqram and system desiqn , 1979 .

[7]  Peter Naur.  Program translation viewed as a general data processing problem , 1966, CACM.

[8]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[9]  David Lorge Parnas,et al.  On the Design and Development of Program Families , 2001, IEEE Transactions on Software Engineering.

[10]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[11]  A. Jörgensen.  On the Psychology of Prototyping , 1984 .

[12]  P. Naur.  Project activity in computer science education , 1970 .

[13]  Peter Naur.  Impressions of the early days of programming , 1980, BIT Comput. Sci. Sect..

[14]  Saul Gorn,et al.  The Computer and Information Sciences: A New Basic Discipline , 1963 .

[15]  Peter Naur.  Trends in Computer Science Education , 1974 .

[16]  Christiane Floyd,et al.  A Comparative Evaluation of System Development Methods , 1986, Information Systems Design Methodologies: Improving the Practice.

[17]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[18]  George E. Forsythe,et al.  A university's educational program in computer science , 1967, Commun. ACM.

[19]  Peter Naur,et al.  Programming as theory building , 1985 .

[20]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[21]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[22]  Edward J. McCluskey,et al.  Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science , 1968, CACM.

[23]  Peter Naur,et al.  An experiment on program development , 1972 .

[24]  O. Dopping.  Suggestion for teaching of administrative data processing at Swedish universities , 1965 .

[25]  H. Dreyfus.  Mind Over Machine , 1986 .

[26]  Peter Naur,et al.  The design of the GIER ALGOL compiler Part I , 1963 .

[27]  Michael Jackson,et al.  Principles of program design , 1975 .

[28]  Peter Naur.  'Datalogy', the science of data and data processes , 1968, IFIP Congress.

[29]  Peter Naur.  The Design of the GIER ALGOL Compiler , 1963 .

[30]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[31]  Aage Melbye,et al.  The need for education and research in administrative data processing , 1962 .

[32]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.

[33]  Louis Fein,et al.  Panel on University Education in Information Processing , 1962, IFIP Congress.

[34]  Per Brinch Hansen,et al.  The nucleus of a multiprogramming system , 1970, CACM.

[35]  Per Brinch Hansen,et al.  The Cobol Compiler for the Siemens 3003 , 1966 .

[36]  Peter Naur.  Thinking and Turing's test , 1986, BIT Comput. Sci. Sect..

[37]  Brian Randell,et al.  Software Engineering: Concepts and Techniques , 1976 .

[38]  Peter Naur,et al.  Intuition in Software Development , 1985, TAPSOFT, Vol.2.

[39]  J SchweppeEarl,et al.  Curriculum 68: Recommendations for academic programs in computer science , 1968 .

[40]  Friedrich L. Bauer,et al.  Report on the algorithmic language ALGOL 60 , 1960, Commun. ACM.

[41]  Peter Naur.  Formalization in Program Development , 1982 .

[42]  Peter Naur,et al.  Programming by action clusters , 1969 .

[43]  Edward Yourdon,et al.  Managing the System Life Cycle: A Software Development Methodology Overview , 1982 .

[44]  Peter Naur,et al.  GIER-A Danish Computer of Medium Size , 1963, IEEE Trans. Electron. Comput..