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 |