Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.
Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.
Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.
Abstract
In this paper we describe a new approach to system specification that takes the language Z as its inspiration but moves the focus from language to logic and from specification to wide-spectrum. In this paper we illustrate the differences between Z and nuZ and the advantages of the latter by means of illustrative examples.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Published proceedings: _not provided_ - Notes: |
| 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: | 22 Aug 2015 20:25 |
| Last Modified: | 23 Sep 2022 19:06 |
| URI: | http://repository.essex.ac.uk/id/eprint/14645 |