Accepted papers


  • Extending Problem Frame to Deal with Stakeholder Problems: An Agent- and Goal-Oriented Approach
    Sam Supakkul and Lawrence Chung
    The University of Texas at Dallas, United States
  • i*-prefer: Optimizing Requirements Elicitation Process Based On Actor Preferences
    Haihua Xie, Lin Liu, and Jingwei Yang
    Tsinghua University, China
  • Identifying Vulnerabilities and Critical Requirements Using Criminal Court Proceedings
    Travis D. Breaux1, Jonathan D. Lewis1, Paul N. Otto 1,2, and Annie I. Antón 1
    1 North Carolina State University, 2United States and Duke University, United States
  • Mapping UML Sequence Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
    Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira, and Carlos Araújo
    Federal University of Pernambuco, Brazil
  • LTS Semantics for Use Case Models
    Daniel Sinnig, Patrice Chalin, and Ferhat Khendek
    Concordia University, Canada
  • Mapping Semantically Enriched Formal Tropos to Business Process Models
    Ken Decreus and Geert Poels
    Ghent University, Belgium
  • Eliciting Required Characteristics for Usable Requirements Engineering Approaches
    Kristina Winbladh, Hadar Ziv, and Debra Richardson
    University of California, Irvine
  • A Method for Developing UML State Machines
    Christine Choppy1 and Gianna Reggio2
    1LIPN - Institut Galilee' - Universite' Paris XIII, France, 2Università di Genova, Italy

Accepted posters


  • Architectural Requirements Prioritization and Analysis Applied To Software Technology Evaluation

  • Karen Smiley, Qingfeng He, Elizabeth Kielczewski, and Aldo Dagnino
    ABB Corporate Research, United States
  • A Systematic Method for Generating Quality Requirements Spectrum

  • Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, and Kenji Kaijiri
    Shinshu University, Japan
  • Early Phase Requirements Assessment of a Tele-treatment Trial

  • Ing Widya1, Bert Jan Beijnum van1, Richard Bults1, Val Jones1, Hermie Hermens1, Leif Sandsjö 2, Leendert Schaake3 and M.H.A Huis in 't Veld3,
    1 University of Twente, Netherlands 2, University of Gothenburg, Sweden,
    3 Roessingh Research and Development
  • Requirements modelling and evaluation for digital preservation: A COTS selection method based on controlled experimentation

  • Christoph Becker and Andreas Rauber
    Vienna University of Technology, Austria