Title :
From specification languages to wide-spectrum logics
Author_Institution :
Sch. of Comput. Sci. & Electron. Eng., Univ. of Essex, Colchester, UK
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.
Keywords :
formal logic; formal specification; specification languages; Z language; nuZ language; specification language; system specification; wide-spectrum logics; Algebra; Cognition; Computer science; Educational institutions; Reactive power; Semantics; Syntactics;
Conference_Titel :
Contemporary Computing (IC3), 2014 Seventh International Conference on
Conference_Location :
Noida
Print_ISBN :
978-1-4799-5172-7
DOI :
10.1109/IC3.2014.6897140
