The Foundations of Specification

Authors:
Raymond Turner
Affiliations:
Department of Computer Science, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, UK. Email: turnr@essex.ac.uk
Venue:
Journal of Logic and Computation
Year:
2005

Citing 0
Cited 4

Three Paradigms of Computer Science

Minds and Machines
Problems in the ontology of computer programs

Applied Ontology
Problems in the ontology of computer programs

Applied Ontology
Automated verification of design patterns: A case study

Science of Computer Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

We develop and explore a Core Specification Theory(CST) as a basis for the meta-mathematical investigation of specification and specification languages.