- First Online:
- Cite this article as:
- Turner, R. Minds & Machines (2011) 21: 135. doi:10.1007/s11023-011-9239-x
The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.