252-0216-00L Rigorous Software Engineering
Semester | Spring Semester 2019 |
Lecturers | Z. Su, M. Vechev |
Periodicity | yearly recurring course |
Language of instruction | English |
Comment | Previously called Software Architecture and Engineering |
Abstract | 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 |
Objective | 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 |
Content | 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 |
Literature | Will be announced in the lecture. |