Requirements Engineering II

Course ID     MINF 4502

Credits (ECTS) 4

• Results of Aural Examinations
• Schedule for Aural Examinations
• Presentations (use the same username and password as for the papers)
  
  

The course will cover advanced topics in requirements engineering, for example

• Elicitation techniques
• Goal-oriented requirements engineering
• Traceability
• Requirements modeling languages and tools
• Formal specification techniques
• Requirements engineering for software product lines
• Usability, user interface requirements
• New approaches such as aspect-oriented RE or agile RE
  
  

Requirements Engineering II is an elective course ("Wahlmodul") for

• MSc students, in particular those with concentration in Software Systems
• Diploma students (5+)
  
  

Bachelor students are NOT admitted.

Contents of course Requirements Engineering I (MINF 4204)

Wintersemester; Monday 10:15 - 14:00, BIN 2.A.10

Please note: the course begins on Monday 27 November, 2006. From 23 October to 20 November, I will teach Requirements Engineering I.

Course materials will be in English. The course language will be English and/or German; depending on the actual audience.

Please note: Slides and assignment descriptions are freely downloadable. The papers, however, are password-protected. Students enrolled in the course receive the password in the first class on November 27.

Introduction

• Slides
  
  

Assignment 1: Requirements Traceability

• Assignment description
• Slides
• Mandatory reading: Jarke1998.pdf     Dick2005.pdf     Gotel&Finkelstein1994.pdf     Ramesh&Jarke2001.pdf     HuffmanHayes_et_al2005.pdf
• Additional reading: ClelandHuang_et_al2005.pdf     HuffmanHayes_et_al2003.pdf
  
  

Assignment 2: Goal-Oriented Requirements Engineering

• Assignment description
• Slides
• Mandatory reading: van Lamsweerde 2001     van Lamsweerde 2004     Mylopoulos 2006     Dardenne, Fickas, van Lamsweerde 1991 or Dardenne, van Lamsweerde, Fickas 1993     Yu 1997
• Mandatory browsing: Castro, Kolp, Mylopoulos 2002 or Bresciani et al. 2004
• Additional reading: Antón 1996     Antón and Potts 1998     Bresciani et al. 2004     Castro, Kolp, Mylopoulos 2002     Objectiver 2003     Rolland et al 1998
  
  

Assignment 3: Requirements Elicitation

• Assignment description
• Mandatory reading: Gougen and Linde 1993     Hickey and Davis 2003     Potts, Takahashi and Antón 1994     Beyer and Holtzblatt 1999     Robertson 2002     Maiden, Gitzikis and Robertson 2004     Maiden and Robertson 2005
• Mandatory browsing: Gottesdiener 2006
• Additional reading: Cohene and Easterbrook 2005     Gottesdiener 2002*     Lloyd, Rosson and Arthur 2002     Maiden and Gizikis 2001     Nuseibeh, Kramer and Finkelstein 1993
  
  *Book will be available on demand from Dec 21 approx. (ask Tobias Reinhard)
  
  There are no slides for this assignment.
  
  IMPORTANT: The groups must apply for their presentation theme by Tuesday Dec 19 evening. Send e-mail with your first and second choice to Tobias Reinhard. Tobias will notify you by Wednesday, Dec. 20.
  
  

Assignment 4: Formal Requirements Specification

• Assignment description
• Prerequisites: Slides on statecharts and Petri nets from my couse Informatik II as mentioned in the assignment description (in German)
• Mandatory reading: Chapters 7 to 12.1 of [Jacky 1997]*     Glinz 2002     Jackson 1998     Berry 2002
• Mandatory browsing: Polak 1998
• Additional reading:  Parnas 1998     Chapter 15 of [Jacky 1997]     Leveson et al. 1994     Heimdahl and Leveson 1996
  
  *Paper only. Tobias Reinhard will provide one copy per group.
  
  There are no slides for this assignment. For an introduction to the topic, you may view the slides on Formal Specification in my course Requirements Engineering I (in German).
  
  

Assignment 5: Requirements for Software Product Lines

• Assignment description
• Mandatory reading: Chapter 2 of Pohl, Böckle, and van der Linden 2005     Chastek et al. 2001     Sections 1-3 of Schobbens, Heymans, and Trigaux 2006     Jarzabek, Ong, and Zhang 2003     Bühne, Lauenroth, and Pohl 2005
• Mandatory browsing: Software Product Lines website
• Additional reading:  Clements 1999     Reiser and Weber 2006     Schobbens, Heymans, and Trigaux 2006     Schmid and John 2004
  
  There are no slides for this assignment.
  
  

Assignment 6: The Requirements Modeling Language ADORA

• Assignment description
  
• Slides: see Glinz 2006
• Mandatory reading: Glinz, Berner, and Joos 2002     Glinz 2006     Meier et al. 2006     Glinz, Seybold, and Meier 2007
• Additional reading:  Reinhard et al. 2006     Seybold, Meier, and Glinz 2005
  
  

Assignment 7: Usability and User Interface Requirements      NEW

• Assignment description
  
• Mandatory reading: Lauesen and Younessi 1998     DiAngelo and Petrun 1995      Grudin 1989     Rettig 1994     Virzi, Sololov, and Karis 1996      excerpt from chapter 6 of [Ambler 2004]
• Additional recommended reading:  A book on user interfaces, for example [Dix et al. 2004] or [Lauesen 2005]     Baxley 2003
  
  

Requirements Engineering Conferences and Journals

• Slides
  
  

The requirements for passing this course are
1 Successful completion of at least 5 of 7 assignments
2 Presence in class sessions for at least 6 assignments
3 Passing grade or better in final exam

All three requirements must be met.

Final exams will be held as 25' aural exams on the following dates:

• Primary date: 12 Feb 07, morning
• Alternate date: 19 Feb 07, morning
  
  

Schedule for Aural Examinations