Requirements Engineering II

Requirements Engineering II
MINF4502

Credits (ECTS) 4

Prof Dr. Martin Glinz
Samuel Fricker

- 080103: Link "Z Explained" adjusted.
- 071221: All slides uploaded. Thank you.
- 071203: Program for Dec 17:
                  10:15-11:30 Continuous RE (2.A.10)
                  12:00-14:00 ADORA Experiment (0.B.06)
- 071203: Please provide Samuel Fricker with your slides and your exercises (electronic or paper).
- 071127: Pohl 2005 has been uploaded.
- 071126: Slides "RE Conferences & Journals" uploaded.
- 071119: Please provide Samuel Fricker with your slides to make them available to all participants.

The course will cover advanced topics in Requirements Engineering (RE), including Traceability, Goal-oriented RE, Elicitation, Continuous RE, Product Line RE, Requirements Modeling with ADORA, and Formal Specification.

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.

The official course listing can be found here.

Contents of course Requirements Engineering I (MINF 4204).

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

Please note: the course begins on Monday, October 22, 2007.
The course is preceded by the course 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

RE Conferences & Journals
- Slides

Assignment 1: Requirements Traceability
- Assignment description
- Slides
- Mandatory reading: Jarke 1998, Dick 2005, Gotel Finkelstein 1994, Ramesh Jarke 2001, Huffman et al 2005
- Additional reading: Cleland-Huang et al 2005, Huffman et al 2003

- Slides: Overview, Establishing Traceability, Tools
- Tool-Demo: auf Anfrage kann Samuel Fricker Telelogic FocalPoint zeigen.

Assignment 2: Goal-oriented RE
- Assignment description
- Mandatory reading: van Lamsweerde 2001, van Lamsweerde 2004, Mylopoulos 2006, Dardenne 1991 or Dardenne 1993, Yu 1997
- Mandatory browsing: Castro 2002 or Bresciani 2004
- Additional reading: Antón 1996, Antón 1998, Bresciani 2004, Castro 2002, Objectiver 2003, Rolland 1998

- Slides: Overview, KAOS, i*

Assignment 3: Requirements Elicitation
- Assignment description
- Mandatory reading: Gougen 1993, Hickey 2003, Potts 1994, Beyer 1999, Robertson 2002, Maiden 2004, Maiden 2005
- Mandatory browsing: Gottesdiener 2003
- Additional reading: Cohene 2005, Gottesdiener 2002*, Lloyd 2002, Maiden 2001, Nuseibeh 1993

Gottesdiener 2002* will be available on demand (e-mail Samuel Fricker).

- Slides: Overview, Capturing Needs, Creativity

Assignment 4: Formal Specification
- Assignment description
- Mandatory reading: Jacky 1997*, Glinz 2002, Jackson 1998, Berry 2002
- Mandatory browsing: Polak 2002
- Additional reading: Parnas 1998, Spivey 1992*, Leveson 1994, Heimdahl 1996

Jacky 1997* and Spivey 1992* will be available on demand (e-mail Samuel Fricker).

- Slides: How Much Formality, Set- vs. State-Based, Z Explained

Assignment 5: Product Line RE
- Assignment description
- Mandatory reading: Pohl 2005, Chastek 2001, Schobbens 2006, Jarzabek 2003, Bühne 2005
- Additional reading: Clements 1999, Reiser 2006, Schmid 2004

- Slides: Overview, Domain Requirements Analysis, Modeling Variability

Assignment 6: Requirements Modelling with ADORA
- Assignment description
- Mandatory reading: Glinz 2002, Glinz 2006, Meier 2006, Glinz 2007
- Additional reading: Reinhard 2006, Seybold 2005
- Case study: Davies 2001
- ADORA: Tool, Installation Guide, Help, First Steps

- Slides: Validation Experiment (Silvio Meier)

Assignment 7: Contiuous RE
- Assignment description
- Mandatory reading: Regnell 2005, Carlshamre 2000, Berander 2005
- Additional reading: Regnell 1998, Weerd 2006, Gorschek 2006, Natt och Dag 2005, Regnell 2001, Lehtola 2007

- Slides: Overview, Requirements Management, Prioritization

For passing this course, all three following requirements must be met:
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.

Final exams will be held as oral exams (about 25') on the following dates:
- Primary date: 7 Jan 2008, morning
- Alternative date: 14 Jan 2008, morning