Search result: Catalogue data in Spring Semester 2022
Computer Science Bachelor  | ||||||
 Core Courses | ||||||
| Major: Systems and Software Engineering | ||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|---|
| 252-0216-00L | Rigorous Software Engineering | O | 8 credits | 4V + 2U + 1A | M. Schwerhoff, M. Vechev | |
| Abstract | The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis. | |||||
| Learning objective | The course has two main objectives: - Understand the core techniques for building correct software. - Understand how to apply these techniques in practice. | |||||
| Content | 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. | |||||
| Literature | Will be announced in the lecture. | |||||
Page
1
of
1
