Towards a taxonomy for computer science
This paper tries to capture the essence of information technology and computer science. The principal goal of an information technologist is the same as that of any technologist: to create machines with certain properties. To achieve this an abstract schema of the machine’s structure is invented or developed from an abstract specification of the problem. It is the information technologist’s principal task to prove that the schema satisfies the specification. Computer scientists support or even enable this by developing the required mathematical and physical means. This paper proposes a consistent set of notions, together with a consistent terminology, which may clarify the relation of information technology and computer science to other scientific disciplines and which also may give rise to new ideas about computer science education.