DocumentCode
2943320
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
fYear
2008
fDate
9-9 Sept. 2008
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RELAW.2008.4
Filename
4797464
Link To Document