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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/RE.2014.6912273 | Requirements Engineering Conference |
Keywords | DocType | ISSN |
formal specification,reasoning about programs,specification languages,Nòmos 3,modeling language,reasoning about regulatory compliance of requirements,reasoning capability | Conference | 2332-6441 |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Silvia Ingolfo | 1 | 97 | 7.35 |
Alberto Siena | 2 | 297 | 27.63 |
John Mylopoulos | 3 | 10956 | 1569.74 |