• DocumentCode
    257619
  • Title

    Nòmos 3: Reasoning about regulatory compliance of requirements

  • Author

    Ingolfo, Silvia ; Siena, Alberto ; Mylopoulos, John

  • Author_Institution
    UNITN, Trento, Italy
  • fYear
    2014
  • fDate
    25-29 Aug. 2014
  • Firstpage
    313
  • Lastpage
    314
  • Abstract
    The great impact that law has in the RE-process has called for new techniques and procedures to evaluate the alignment of requirements with applicable laws. In this paper we present a modeling language for the evaluation of compliance of requirements with a piece of law: Nòmos 3. We introduce our language and show the reasoning capabilities of our proposal.
  • Keywords
    formal specification; reasoning about programs; specification languages; Nòmos 3; modeling language; reasoning about regulatory compliance of requirements; reasoning capability; Analytical models; Cognition; Educational institutions; Erbium; Law; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering Conference (RE), 2014 IEEE 22nd International
  • Conference_Location
    Karlskrona
  • Print_ISBN
    978-1-4799-3031-9
  • Type

    conf

  • DOI
    10.1109/RE.2014.6912273
  • Filename
    6912273
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=257619