Minds and Machines

, Volume 21, Issue 2, pp 135-152

First online:


Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.


Specification Correctness Scientific theory Philosophy of computer science