David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 5 (2):243-255 (1995)
The notion of specification plays a key role in the developing science of computing. It is typically considered to be the keystone in the software development process. However, there is no single, generally agreed meaning of specification that bears close scrutiny. Instead there is a variety of different, although partially interlocking and overlapping interpretations of the term.We catalogue this varietal profusion and attempt to lay bare both the sources and consequences of each major alternative. We attempt to present the full range of possibilities, and the biases inherent in each style of interpretation.
|Keywords||Program specification software engineering correctness|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the Acm 31 (9):1048--1063.
Antony Galton (1993). On the Notions of Specification and Implementation. Royal Institute of Philosophy Supplement 34:111-136.
David A. Nelson (1992). Deductive Program Verification (a Practitioner's Commentary). Minds and Machines 2 (3):283-307.
Citations of this work BETA
No citations found.
Similar books and articles
Ronald L. Chrisley (1994). Taking Embodiment Seriously: Nonconceptual Content and Robotics. In Kenneth M. Ford, C. Glymour & Patrick Hayes (eds.), Android Epistemology. MIT Press
Kuipers, Theo A. F. & Wisniewski, Andrzej (1994). An Erotetic Approach to Explanation by Specification. Erkenntnis 40 (3):377-402.
Stan J. Surma (2007). A Galois Connection. Logica Universalis 1 (1):209-219.
Marcus Agnafors (2011). A Critical Comment on Collste. Public Health Ethics 4 (2):203-205.
Michael Grüninger & Christopher Menzel (2003). The Process Specification Language: Theory and Applications. AI Magazine 24 (3):63-74.
William Dembski (2005). Specification: The Pattern That Signifies Intelligence. Philosophia Christi 7 (2):299-343.
Raymond Turner (2011). Specification. Minds and Machines 21 (2):135-152.
Orna Kupferman & Moshe Y. Vardi (1999). Church's Problem Revisited. Bulletin of Symbolic Logic 5 (2):245-263.
Added to index2009-01-28
Total downloads5 ( #415,508 of 1,778,946 )
Recent downloads (6 months)2 ( #205,717 of 1,778,946 )
How can I increase my downloads?