Turner, R (2004) CSM-396 - The Foundations of Specification I. UNSPECIFIED. CSM-396, University of Essex, Colchester.
Turner, R (2004) CSM-396 - The Foundations of Specification I. UNSPECIFIED. CSM-396, University of Essex, Colchester.
Turner, R (2004) CSM-396 - The Foundations of Specification I. UNSPECIFIED. CSM-396, University of Essex, Colchester.
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: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 27 Feb 2014 11:51 |
| Last Modified: | 16 May 2024 18:54 |
| URI: | http://repository.essex.ac.uk/id/eprint/8679 |
Available files
Filename: csm-396.PDF
Statistics
Downloads
downloads and
page views since this item was published