Research Repository

From specification languages to wide-spectrum logics

Henson, M (2014) From specification languages to wide-spectrum logics. In: Seventh International Conference on Contemporary Computing (IC3), 2014, ? - ?, Noida.

Full text not available from this repository.

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_
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 22 Aug 2015 20:25
Last Modified: 17 Aug 2017 17:33
URI: http://repository.essex.ac.uk/id/eprint/14645

Actions (login required)

View Item View Item