DocumentCode
643843
Title
Contents
fYear
2013
fDate
16-16 July 2013
Firstpage
1
Lastpage
1
Abstract
The following topics are dealt with: requirements modeling approach comparison; crisis management system; coloured Petri net model; feature modeling and separation of concerns; car crash management; Unified Requirements Modeling Language; and self-adaptive systems requirements modelling.
Keywords
formal specification; formal verification; systems analysis; AMoDE-RT approach; CPN tools; DERAF; FAMILIAR; KAOS; Petri net model; SEAM; Unified Requirements Modeling Language; bCMS system; car crash management; coloured Petri net model; crisis management system; early requirements elicitation; feature modeling; self-adaptive systems requirements modelling; separation of concerns;
fLanguage
English
Publisher
ieee
Conference_Titel
Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
Conference_Location
Rio de Janeiro
Type
conf
DOI
10.1109/CMA-RE.2013.6664175
Filename
6664175
Link To Document