The course provides students with in-depth knowledge on the field of requirements engineering (RE). The course is inevitably interdisciplinary, for RE is intended to elicit the vague, informal needs from the stakeholders and build a precise, formal specification for a software system to build.

The intended learning outcomes are as follows: "At the end of the course, the successful student":

• Knows the phases of the RE process and understands their interplay
• Can choose the most suitable technique for a given phase depending on the needs
• Is able to express requirements in different formalisms, ranging from agile development to safety-critical systems
• Understands and can execute automated reasoning techniques for analyzing requirements
• Is able to read and comprehend state-of-the-art literature in the RE field

The course will cover the following topics:

• The RE process and its activities
• Standards and tools
• Agile RE, user stories
• Requirements elicitation
• Linguistic aspects of natural language requirements
• From requirements to architectures
• Requirements prioritization
• Maturity assessment
• (Verification of) formal specifications
• Release planning
• Requirements traceability
• Crowd RE