Research Repository

CSM-396 - The Foundations of Specification I

Turner, R (2004) CSM-396 - The Foundations of Specification I. UNSPECIFIED. CSM-396, University of Essex, Colchester.

[img]
Preview
Text
csm-396.PDF

Download (255kB) | Preview

Abstract

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

Item Type: Monograph (UNSPECIFIED)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Depositing User: Julie Poole
Date Deposited: 27 Feb 2014 11:51
Last Modified: 17 Aug 2018 10:15
URI: http://repository.essex.ac.uk/id/eprint/8679

Actions (login required)

View Item View Item