Specification

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
Computable models.Raymond Turner - 2009 - London: Springer.
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.

Analytics

Added to PP
2011-02-09

Downloads
161 (#109,329)

6 months
20 (#101,729)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Raymond Turner
University of Essex

Citations of this work

What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

View all 20 citations / Add more citations

References found in this work

Wittgenstein on rules and private language.Saul A. Kripke - 1982 - Revue Philosophique de la France Et de l'Etranger 173 (4):496-499.

View all 27 references / Add more references