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.


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: Elements
Depositing User: Elements
Date Deposited: 22 Aug 2015 20:25
Last Modified: 15 Jan 2022 01:07

Actions (login required)

View Item View Item