Minds and Machines

, Volume 21, Issue 2, pp 135–152

Specification

Article

DOI: 10.1007/s11023-011-9239-x

Cite this article as:
Turner, R. Minds & Machines (2011) 21: 135. doi:10.1007/s11023-011-9239-x

Abstract

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.

Keywords

SpecificationCorrectnessScientific theoryPhilosophy of computer science

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.CSEEEssex UniversityColchesterUK