Requirements Engineering II

Requirements Engineering II
MINF4502

Credits (ECTS) 4

Prof Dr. Martin Glinz
Samuel Fricker

- 090103 SF: Slideset Z-Explained uploaded.
- 081215 SF: examination updated.
- 081215 SF: Slidesets uploaded. KAOS presentation updated. Capturing Needs presentation updated. Please submit any remaining missing material.
- 081130 SF: Assignments ADORA and Software Product Management uploaded.
- 081117 SF: Assignments Formal Specification and Software Product Lines uploaded. RE Journals and Conference uploaded.
- 081103 SF: Better page for i* than indicated in assignment 2 is http://istar.rwth-aachen.de/tiki-view_articles.php. It includes a sub-page about i* tools.
- 081103 SF: Please submit your group's answers to the exercices as well as your group's slides to Samuel Fricker before the concerned session. Please submit in PDF-format.
- 081029 SF: The language of the presentation slides shall be English. The talks may be given in English or in German.
- 081029 SF, Corrections to Assignment 1: The stakeholder matrix shall be generated for the stakeholders identified in exercise 1 from the course RE I.
- 081014 SF: Assignments 1-3 uploaded

The course will cover advanced topics in Requirements Engineering (RE), including Traceability, Goal-oriented RE, Elicitation, Software Product Management, 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 - 13:45, BIN 2.A.10

Please note: the course begins on Monday, October 20, 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 October 20.

Introduction
- Slides

RE Conferences & Journals
- Slides

Assignment 1: Requirements Traceability
- Assignment description
- 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

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 (updated), 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
- Slides: Techniques, Capturing Needs (updated), Creativity

*You may request the book from Samuel Fricker.

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
- Other: Z Glossary
- Slides: How Much?, Set vs. State, Z explained
Jacky 1997* and Spivey 1992* will be available on demand (e-mail Samuel Fricker).

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, Beuche 2007- Slides: Overview, Domain-RE, Variability Modeling

Pohl 2005* will be available on demand (e-mail Samuel Fricker).

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

Assignment 7: Software Product Management
- Assignment description
- Mandatory reading: Regnell 2005, Carlshamre 2000, Nejmeh 2002
- Additional reading: Regnell 1998, Weerd 2006, Gorschek 2006, Natt och Dag 2005, Regnell 2001, Lehtola 2007
- Slides: Overview, Continuous RE, 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') at the agreed dates (Jan 05 2009, Jan 29 2009).