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;
Conference_Titel :
Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
Conference_Location :
Rio de Janeiro
DOI :
10.1109/CMA-RE.2013.6664175
