Seminar Advanced Topics in Requirements Engineering
The seminar will cover different aspects of requirements engineering and the corresponding state of the art.
|Instructors||Prof. Dr. Andreas Podelski |
|Kick-Off||29.04.2013, 16:15, building 052, room 00-016|
|Presentation||22.07.2012 - 24.07.2012: Block-Seminar|
|Course Catalog||Advanced Topics in Requirements Engineering|
- 29.04.2013, 16:15 - Kick-off Meeting, building 052, room 00-016. If you have any questions, do not hesitate to contact Daniel Dietsch. Please also send your presentations via email to him.
- 27.05.2013, 14:15 - Discussion of technical papers (building 052, room 00-016) you have chosen to present.
- 01.07.2013: Deadline for submitting your seminar presentation. Your presentation should be 30 minutes long. Please note that you need to prepare your slides/presentation in English.
- 22.07.2013 - 24.7.2013: Block-Seminar. Actual date, time and place will be announced here.
The seminar will be based on selected chapters from the book "Requirements Engineering - From System Goals to UML Models to Software Specifications" by Axel van Lamsweerde and on technical papers that correspond to those chapters.
Part 1 Fundamentals of Requirements Engineering
- Domain Understanding and Stakeholder Elicitation
- Requirements Evaluation
- Requirements Specification and Documentation
- Requirements Quality Assurance
- Requirements Evolution
- Goal Orientation in Requirements Engineering
Part 2: Building System Models for Requirements Engineering
- Modeling System Objectives with Goal Diagrams
- Anticipating What could Go Wrong: Risk Analysis on Goal Models
- Modeling Conceptual Objects with Class Diagrams
- Modeling System Agents and Responsibilities
- Modeling System Operations
- Modeling System Behaviors
- Integrating Multiple System Views
- A Goal-Oriented Model Building Method in Action
Part 3: Reasoning about system models
- Semi-formal reasoning for model analysis and exploitation
- Formal specification of system models
- Formal reasoning for specification construction and analysis