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
Raymond Turner (2011). Specification. Minds and Machines 21 (2):135-152.
William Dembski (2005). Specification: The Pattern That Signifies Intelligence. Philosophia Christi 7 (2):299-343.
Michael Grüninger & Christopher Menzel (2003). The Process Specification Language: Theory and Applications. AI Magazine 24 (3):63-74.
Marcus Agnafors (2011). A Critical Comment on Collste. Public Health Ethics 4 (2):203-205.
Stan J. Surma (2007). A Galois Connection. Logica Universalis 1 (1):209-219.
Kuipers, Theo A. F. & Wisniewski, Andrzej (1994). An Erotetic Approach to Explanation by Specification. Erkenntnis 40 (3):377-402.
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 ( #377,318 of 1,726,249 )
Recent downloads (6 months)2 ( #289,836 of 1,726,249 )
How can I increase my downloads?