Minds and Machines 21 (2):135-152 (2011)

Raymond Turner
University of Essex
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 Specification  Correctness  Scientific theory  Philosophy of computer science
Categories (categorize this paper)
DOI 10.1007/s11023-011-9239-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 48,987
Through your library

References found in this work BETA

Abstract Objects.BOB HALE - 1988 - Blackwell.

View all 20 references / Add more references

Citations of this work BETA

What an Algorithm Is.Robin Hill - 2016 - Philosophy and Technology 29 (1):35-59.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
A Taxonomy of Errors for Information Systems.Giuseppe Primiero - 2014 - Minds and Machines 24 (3):249-273.

View all 14 citations / Add more citations

Similar books and articles

The Specification of “Specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
Taking Embodiment Seriously: Nonconceptual Content and Robotics.Ronald L. Chrisley - 1994 - In Kenneth M. Ford, C. Glymour & Patrick Hayes (eds.), Android Epistemology. MIT Press.
A Galois Connection.Stan J. Surma - 2007 - Logica Universalis 1 (1):209-219.
A Critical Comment on Collste.Marcus Agnafors - 2011 - Public Health Ethics 4 (2):203-205.
Culture and the Specification of Environmental Virtue.Ronald Sandler - 2003 - Philosophy in the Contemporary World 10 (2):63-68.


Added to PP index

Total views
111 ( #79,667 of 2,310,349 )

Recent downloads (6 months)
3 ( #352,812 of 2,310,349 )

How can I increase my downloads?


My notes

Sign in to use this feature