Participants achieve two aims:
•They know about the approach of problem frames for the requirements analysis for software systems and the (semi-)formal proof that a specification fulfils these requirements.
•They know how to read a scientific text analytically and to discuss critically the results of a scientific study.
In the module we read and discuss the book „Problem Frames: Analysing and Structuring Software Development Problems“ by Michael Jackson. The Students learn about the principles and structures of requirements analysis with problem frames.
Furthermore they practise critical reading and thinking as well as the scientific dispute.
Seminaristischer Unterricht 2SWS
Regular attendance (80% of the time)
no grade according to examination regulations (§ 3)
Michael Jackson: Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley
- Computer Science (M.Sc. 2010)
- Engineering Informatics (M.Sc. 2017)