You are here: Home Teaching Summer Term 2013 Seminar Advanced Topics in …

Seminar Advanced Topics in Requirements Engineering

The seminar will cover different aspects of requirements engineering and the corresponding state of the art.
Course type Seminar
Instructors Prof. Dr. Andreas Podelski
Daniel Dietsch
Kick-Off 29.04.2013, 16:15, building 052, room 00-016
Presentation 22.07.2012 - 24.07.2012: Block-Seminar

Presentation language

English
Credits 6
Course Catalog 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