On the Notions of Specification and Implementation

Royal Institute of Philosophy Supplement 34:111-136 (1993)
  Copy   BIBTEX

Abstract

In this paper we consider two key concepts from software engineering—‘specification’ and ‘implementation’—and explore their possible applications outside software engineering to other disciplines, notably the philosophy of action, evolutionary biology, and cognitive science. Throughout, the emphasis is on the gain in conceptual clarity that can be afforded by these concepts; it is not so much a matter of new knowledge or new theories but of a reorganization of existing knowledge and theories in a way that facilitates the transfer of insights across a range of related fields

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.
Computational vs. causal complexity.Matthias Scheutz - 2001 - Minds and Machines 11 (4):543-566.
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
Exploring the future with resource-bounded agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
Specification in the global array.Thomas A. Stoffregen & Benoît G. Bardy - 2001 - Behavioral and Brain Sciences 24 (2):246-254.
Inadequate information and deficient perception.Michael A. Riley - 2001 - Behavioral and Brain Sciences 24 (2):238-239.
Computation, Implementation, Cognition.Oron Shagrir - 2012 - Minds and Machines 22 (2):137-148.

Analytics

Added to PP
2013-12-23

Downloads
32 (#487,332)

6 months
12 (#200,125)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antony Galton
University of Exeter

Citations of this work

The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.

Add more citations

References found in this work

Vision.David Marr - 1982 - W. H. Freeman.
Brainstorms.Daniel C. Dennett - 1978 - MIT Press.
Intention.G. E. M. Anscombe - 1957 - Cambridge, Mass.: Harvard University Press.
Toward a new philosophy of biology: observations of an evolutionist.Ernst Mayr - 1988 - Cambridge, Mass.: Belknap Press of Harvard University Press.
Intention.P. L. Heath - 1960 - Philosophical Quarterly 10 (40):281.

View all 11 references / Add more references