Title Page

Foreword

Case Study: Modeling a Crisis Management System using the AMoDE-RT Approach and DERAF
Marco A. Wehrmeister
(Federal University of Technology Parana, Brazil)

Coloured Petri Net Model of the bCMS System using CPN Tools
Isabel Sofia Brito and João Paulo Barros
(Instituto Politécnico de Beja, Portugal)

Video

Feature Modeling and Separation of Concerns with FAMILIAR
Philippe Collet and Philippe Lahire
(Université Nice Sophia Antipolis, France)

Modeling Car Crash Management with KAOS
Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde
(University of Louvain, Belgium)

Requirements Modeling in SEAM: the Example of a Car Crash Management System
Alain Wegmann, Biljana Bajić-Bizumić, Arash Golnam, George Popescu, Gorica Tapandjieva, Anshuman B. Saxena, Maedeh Yassaee, and Gil Regev
(École Polytechnique Fédérale de Lausanne, Switzerland; Université de Lausanne, Switzerland)

The Unified Requirements Modeling Language: Shifting the Focus to Early Requirements Elicitation
Florian Schneider, Bernd Bruegge, and Brian Berenbach
(Technische Universität München, Germany; Siemens, USA)

Self-Adaptive Systems Requirements Modelling: Four Related Approaches Comparison
M. Ahmad, João Araújo, Nicolas Belloir, Jean-Michel Bruel, Christophe Gnaho, Régine Laleau, and Farida Semmak
(Université de Toulouse, France; UNL, Portugal; LIUPPA, France; Université Paris-Est Créteil, France)