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 |
| 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 |