Suchergebnis: Katalogdaten im Frühjahrssemester 2022

Nummer	Titel	Typ	ECTS	Umfang	Dozierende
Informatik Bachelor
Kernfächer
Vertiefung Systems and Software Engineering
252-0216-00L	Rigorous Software Engineering	O	8 KP	4V + 2U + 1A	M. Schwerhoff, M. Vechev
Kurzbeschreibung	The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis.
Lernziel	The course has two main objectives: - Understand the core techniques for building correct software. - Understand how to apply these techniques in practice.
Inhalt	The course presents an overview of techniques to build correct software, including: - Code documentation - Modularity and coupling (Design patterns) - Dynamic program analysis (Testing, fuzzing, concolic execution) - Static program analysis (Numerical abstract interpretation, pointer analysis, symbolic execution) - Formal modeling (Alloy) In addition, students apply the learned techniques to solve a group project in the area of program analysis.
Literatur	Will be announced in the lecture.