Title :
First International Workshop on Requirements Engineering and Law (RELAW)
Author :
Anton, Annie I. ; Breaux, Travis D. ; Karagiannis, Dimitris ; Mylopoulos, John
Author_Institution :
North Carolina State Univ., Raleigh, NC
Abstract :
The following topics are dealt with: requirements engineering and law; treaties and jurisdictions; legal requirements acquisition, specification, analysis and validation; formal and informal modeling; traceability; requirements verification; documenting and auditing evidence of compliance; and risk, compliance assurance and system certification.
Keywords :
formal specification; formal verification; legislation; systems analysis; compliance assurance; formal modelling; informal modelling; law; legal requirements; requirements engineering; requirements verification; risk;
Conference_Titel :
Requirements Engineering and Law, 2008. RELAW '08.
Conference_Location :
Barcelona, Catalunya
Print_ISBN :
978-1-4244-4085-6
Electronic_ISBN :
978-0-7695-3630-9
DOI :
10.1109/RELAW.2008.4
