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

All information about the course will be made available through Blackboard before the course starts.

To qualify for the retake exam, the grade of the original must be at least 4.