You are here: Home Teaching Summer Term 2024 Softwaretechnik / Software …

Softwaretechnik / Software Engineering (Lecture)

Software engineering is "the application of engineering to software" (IEEE 610.12). Goal of this course is to provide a broad overview of the challenges of software engineering and of the techniques and tools to address these challenges. We will discuss the main activities of software development (i.e., project management, requirements engineering, design, testing, and formal verification) with an emphasis on formal methods. We will study process models, software metrics, approaches to requirements specification and analysis, modeling and analysis techniques, design and architecture patterns, testing, and program verification.
Course type Lecture
Instructors Andreas Podelski
Vincent Langenfeld
Elisabeth Henkel
Lecture Wednesday, 16:00–18:00, Bld. 101, HS 00-026 (µ-Saal)
Friday, 12:00–13:00, Bld. 101, HS 00-026 (µ-Saal)
Exercise Friday, 13:00 - 14:00, Bld. 101, HS 00-026 (µ-Saal)
Language of instruction English
Credits 6
Exam see below
Course Catalog Softwaretechnik / Software Engineering - Lecture
Softwaretechnik / Software Engineering - Exercise


Quicklinks: News - Sessions - Formalia - Links & Literature



  • 2024-05-08: Update information on exam aids.
  • 2024-04-02: Homepage online.



The course will be organised as an in-person course. Opportunities for virtual participation in the lectures and tutorials are not planned. 

We will publish lecture materials and exercise sheets on ILIAS. People registered on HisInOne will be added automatically once the course is online. If you have no access to the Ilias course after April 15th, please send an email providing your RZ-login to Elisabeth .

The lecture will take place every Wednesday from 16:00 - 18:00 and every Friday from 12:00 - 13:00 in presence.

An exercise sheet will be posted latest every Thursday morning. You have until 15:59 on the upcoming Wednesday to complete the exercises and upload your solutions to ILIAS. Exercises must be submitted in teams of two.

On Fridays (13:00 - 14:00), there will be a tutorial to discuss the solutions of the exercise sheets and to answer questions about the material of the lecture. We encourage you to actively participate in the discussion. After the official tutorial, our tutors will be present for a while and give you the opportunity for further discussion and questions about your submissions.




There will be an exercise sheet each week. 50% of the total points from the exercises have to be achieved in order to pass the "Studienleistung".


There will be a written exam:

  • Date & time: tba.
  • Duration: tba.
  • Location: tba.

You may bring one DIN A4 sheet to the exam. Both sides of this sheet may be filled with any notes (e.g., definitions, theorems, examples) but the notes have to be handwritten (directly on a piece of paper not on some electronic device and then printed out). You must not use any other material in the exam (except for writing utensils).

Module result

The module result (grade/mark, "Note") is completely determined by the exam.


Links & Literature