Nòmos 3: Reasoning about regulatory compliance of requirements
Silvia Ingolfo, Alberto Siena, John Mylopoulos · 2014
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.