• DocumentCode
    234653
  • Title

    From specification languages to wide-spectrum logics

  • Author

    Henson, Martin

  • Author_Institution
    Sch. of Comput. Sci. & Electron. Eng., Univ. of Essex, Colchester, UK
  • fYear
    2014
  • fDate
    7-9 Aug. 2014
  • Firstpage
    13
  • Lastpage
    18
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Contemporary Computing (IC3), 2014 Seventh International Conference on
  • Conference_Location
    Noida
  • Print_ISBN
    978-1-4799-5172-7
  • Type

    conf

  • DOI
    10.1109/IC3.2014.6897140
  • Filename
    6897140
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=234653