The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
A Discipline of Programming
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Mathematical Theory of Computation
Mathematical Theory of Computation
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Programming Languages: History and Fundamentals
Programming Languages: History and Fundamentals
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Availability simulation of peer-to-peer architectural styles
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
What should be automated?: The fundamental question underlying human-centered computing
Proceedings of the 1st ACM international workshop on Human-centered multimedia
Three Paradigms of Computer Science
Minds and Machines
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
ICT4D: a computer science perspective
Algorithms and Applications
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
| Hi-index | 0.00 |
This paper explores the ramifications of four influential definitions of computer science: 1. Computer science is the study of phenomena related to computers, Newell, Perlis and Simon, 1967 2. Computer science is the study of algorithms, Knuth, 1968 3. Computer science is the study of information structures, Wegner, 1968, Curriculum 68 4. Computer science is the study and management of complexity, Dijkstra, 1969. The first definition reflects an empirical tradition since it asserts that computer science is concerned with the study of a class of phenomena. The second and third definitions reflect a mathematical tradition since algorithms and information structures are two abstractions from the phenomena of computer science. The fourth definition reflects the great complexity of engineering problems encountered in managing the construction of complex software-hardware systems. It is argued in section 1 that computer science was dominated by empirical research paradigms in the 1950s, by mathematical research paradigms in the 1960s and by engineering oriented paradigms in the 1970s. Section 2 illustrates how these three phases of development are reflected in the field of programming languages. The remaining sections consider in greater detail how empirical, mathematical and engineering research paradigms have affected the development of computer science. Section 3 indicates that although the phenomena of computer science are created by man they can be studied using the empirical techniques of the natural sciences. Section 4 distinguishes between “micro computer science” concerned with the study of individual algorithms and “macro computer science” concerned with the study of mechanisms and notations for specifying all algorithms; and between intensional “how” specifications and extensional “what” specifications for programs and computing systems. Section 5 distinguishes between the uses of the term “complexity” in software engineering and the analysis of algorithms and suggests that different terms be used to denote these two kinds of complexity. In a final section it is argued that the diversity of research paradigms in computer science may be responsible both for our difficulties in deciding how computer scientists should be trained and for divergences of opinion concerning the nature of computer science research.