VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

252-0216-00L 8 Credits BSC D-INFK
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

Rigorous Software Engineering

Lecturers & Examiners: Dr. Felix Friedrich Wicker, Dr. Hermann Lehner, Dr. Malte Schwerhoff
VVZ CR 3.4

Last Updated: 2026-02-05 15:41:30

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

Resources

Literature

Will be announced in the lecture.

Learning Materials (Links)

General Information

Language
English
Levels
BSC
Frequency
Yearly recurring

Examination

Type
session examination
Mode
written 120 minutes
Aids
None.
The grade will be determined by:- a mandatory project, 20%- a final exam, 80%Students who are repeating the course are required to repeat the project work.

Course Components

Type Title Time & Place Hours
lecture Rigorous Software Engineering
  • Tue 08:00-10:00 (ER SA TZ)
  • Tue 08:15-10:00 (CAB G 61)
  • Wed 10:00-12:00 (ER SA TZ)
  • Wed 10:15-12:00 (CAB G 61)
4 h weekly
exercise Rigorous Software Engineering
Groups are selected in myStudies.
  • Mon 14:15-16:00 (HG D 3.2)
  • Tue 16:00-18:00 (ER SA TZ)
  • Tue 16:00-18:00 (ER SA TZ)
  • Tue 16:15-18:00 (CHN D 48)
  • Tue 16:15-18:00 (HG D 3.1)
  • Tue 16:15-18:00 (ML E 12)
  • Thu 16:15-18:00 (ML H 41.1)
2 h weekly
independent project Rigorous Software Engineering No time listed 1 h weekly

Offered In