caa a22 4500 445838361 CHVBK 20180317145336.0 cr unu---uuuuu 170323e20110501xx s 000 0 eng 10.1007/s11023-011-9239-x doi (NATIONALLICENCE)springer-10.1007/s11023-011-9239-x Turner Raymond CSEE, Essex University, CO79NB, Colchester, Essex, UK aut Specification [Elektronische Daten] [Raymond Turner] 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. Springer Science+Business Media B.V., 2011 Specification nationallicence Correctness nationallicence Scientific theory nationallicence Philosophy of computer science nationallicence Minds and Machines Springer Netherlands 21/2(2011-05-01), 135-152 0924-6495 21:2<135 2011 21 11023 https://doi.org/10.1007/s11023-011-9239-x text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11023-011-9239-x text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Turner Raymond CSEE, Essex University, CO79NB, Colchester, Essex, UK aut NATIONALLICENCE 773 0- Minds and Machines Springer Netherlands 21/2(2011-05-01), 135-152 0924-6495 21:2<135 2011 21 11023 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer