Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Systematic software development using VDM
Systematic software development using VDM
Program verification: the very idea
Communications of the ACM
Specifications are not (necessarily) executable
Software Engineering Journal
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Programming from specifications
Programming from specifications
An introduction to formal specification and Z
An introduction to formal specification and Z
Specifications are (preferably) executable
Software Engineering Journal
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Model checking
Social processes and proofs of theorems and programs
Communications of the ACM
Types and programming languages
Types and programming languages
Philosophy and Computer Science: Problems and Applications
Philosophy and Computer Science: Problems and Applications
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Software Architecture in Practice
Software Architecture in Practice
Programming Languages and Operational Semantics: An Introduction
Programming Languages and Operational Semantics: An Introduction
Understanding Programming Languages
Minds and Machines
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Software Engineering: Principles and Practice
Software Engineering: Principles and Practice
Computable Models
Social processes, program verification and all that
Mathematical Structures in Computer Science
Thinking Machines and the Philosophy of Computer Science: Concepts and Principles
Thinking Machines and the Philosophy of Computer Science: Concepts and Principles
Abductive, inductive and deductive reasoning about resources
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Codecharts: Roadmaps and blueprints for object-oriented programs
Codecharts: Roadmaps and blueprints for object-oriented programs
Some Philosophical Issues in Computer Science
Minds and Machines
Hi-index | 0.00 |
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.