Chair 14 of the Faculty of Computer Science
Software Engineering. This includes modeling of assumptions, formalizing of expectations, checking of requirements under assumptions and support of this processes via tools, processes and standards. The group's …