Turner, R (2004) CSM-396 - The Foundations of Specification I. UNSPECIFIED. CSM-396, University of Essex, Colchester.
|
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 |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Elements |
Depositing User: | Elements |
Date Deposited: | 27 Feb 2014 11:51 |
Last Modified: | 06 Jan 2022 13:37 |
URI: | http://repository.essex.ac.uk/id/eprint/8679 |
Actions (login required)
![]() |
View Item |