Seminar Advanced Topics in Requirements Engineering

Important Dates

• 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.

Description

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. 

Topics

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