Specification

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

Authors
Raymond Turner
University of Essex
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 Specification  Correctness  Scientific theory  Philosophy of computer science
Categories (categorize this paper)
DOI 10.1007/s11023-011-9239-x
Options
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: 39,940
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 K. 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 11 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.

Analytics

Added to PP index
2011-02-09

Total views
92 ( #80,558 of 2,235,507 )

Recent downloads (6 months)
13 ( #67,060 of 2,235,507 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature