Lectures
Lectures from past years will be updated week-by-week until the actual lecture is given. Check link name below to see if the PDF link is from this year or from the past year and beware of possibly outdated information from past year.
- Week 1:
- Week 2:
- L3+L4: Specification of functionality and data, reqT Tutorial and prep. for Lab1 [PDF-2025]
- Week 3:
- Week 4:
- L7: Quality Requirements [PDF-2025]
Watch before (or after) the lecture: video on Quality Requirements with Quper - Extra Seminar Feb. 11th at 3pm in E:C (not part of exam): AI4RE and RE4AI, Guest: Matthias Wagner
- L7: Quality Requirements [PDF-2025]
- Week 5:
- L8: Validation & exam preparations. [PDF-2025]
- Week 6:
- No lectures.
- Week 7:
- Project presentations (mandatory oral exam)