Specification

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.

[1]  James H. Fetzer.  Program verification: the very idea , 1988, CACM.

[2]  Kathrin Glüer,et al.  The Normativity of Meaning and Content , 2009 .

[3]  John Dawes,et al.  The VDM-SL Reference Guide , 1991 .

[4]  Raymond Turner,et al.  Understanding Programming Languages , 2007, Minds and Machines.

[5]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[6]  Cora Diamond.  Wittgenstein on Rules and Private Language. , 1983 .

[7]  M. Fernandez,et al.  Programming Languages and Operational Semantics: An Introduction , 2004 .

[8]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[9]  Frank Waters,et al.  The B Book , 1971 .

[10]  Richard J. Lipton,et al.  Social processes and proofs of theorems and programs , 1977, POPL.

[11]  U. BLAU,et al.  ABSTRACT OBJECTS , 1981 .

[12]  Raymond Turner,et al.  Programming Languages as Mathematical Theories , 2010 .

[13]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[14]  Peter Kroes,et al.  The dual nature of technical artefacts , 2006 .

[15]  James H. Moor,et al.  Three Myths of Computer Science , 1978, The British Journal for the Philosophy of Science.

[16]  Herman Geuvers,et al.  Social processes, program verification and all that , 2009, Mathematical Structures in Computer Science.

[17]  Wolfgang Mueller,et al.  An Introduction to Formal Methods , 2004 .

[18]  Bob Hale,et al.  The Reason's Proper Study , 2001 .

[19]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[20]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..

[21]  Christel Baier,et al.  Principles of model checking , 2008 .

[22]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[23]  Peter W. O'Hearn.  Abductive, Inductive and Deductive Reasoning about Resources , 2010, CSL.

[24]  R. Persaud.  Philosophy of science , 1992, The Lancet.

[25]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..