252-0216-00L Rigorous Software Engineering
Semester | Frühjahrssemester 2019 |
Dozierende | Z. Su, M. Vechev |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Kommentar | Previously called Software Architecture and Engineering |
Kurzbeschreibung | This course introduces both theoretical and applied aspects of software engineering and analysis. It covers: - Software Architecture - Informal and formal Modeling - Design Patterns - Code Refactoring - Program Testing - Dynamic Program Analysis - Static Program Analysis |
Lernziel | The course has two main objectives: - Understand, end-to-end (theoretical and practical), the core techniques for building quality software - Understand how to apply these techniques in practice |
Inhalt | Some of the core technical topics covered will be: - modeling and mapping of models to code - common code design patterns - functional and structural testing - dynamic and static analysis |
Literatur | Will be announced in the lecture. |