You are here: Home Teaching Summer Term 2023 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.

Please note:
On Friday May 12th,  the lecture and exercise group 1 will be held in building 82, HS-00-006 (Kinohörsaal), and exercise group 2 will be held in building 51, 03-026!

Course type Lecture

Matthias Heizmann, Elisabeth Henkel, Andreas Podelski


Wednesday, 16:00–18:00, Bld. 101, HS 00-036 (Schick-Saal)
Friday, 12:00–13:00, Bld. 101, HS 00-026 (µ-Saal)

Exercise Friday, 13:00 - 14:00 or 15:00 - 16:00
Language of instruction English
Credits 6
Exam tba
Course Catalog Softwaretechnik / Software Engineering - Lecture
Softwaretechnik / Software Engineering - Exercise


Quicklinks: News - Sessions - Formalia - Links & Literature



  • 2023-05-12: Room changes: Lecture and exercise group 1 will take place in building 82, HS-00-006 (Kinohörsaal). Exercise group 2 will take place in building 51, 03-026.
  • 2023-04-28: No Lecture.
  • 2023-04-26: No Lecture.
  • 2023-04-28: First Exercise Group.
  • 2023-04-21: Second Lecture (12:00-14:00)
  • 2023-04-19: First Lecture.
  • 2023-03-31: Homepage online.



We will organise the course as an in-person course again this semester. Opportunities for virtual participation in the lectures and tutorials are not planned. 

We will publish lecture materials and exercise sheets on ILIAS (if you have no access to the Ilias course, please send an email to Elisabeth, providing your RZ-login).

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 every Wednesday evening. You have until 12:00 on the upcoming Tuesday to complete the exercises and upload your solutions to ILIAS.

On Fridays (13:00 - 14:00 or 15:00 - 16:00), there will be tutorials to discuss the solutions of the exercise sheets and to answer questions about the material of the lecture. We encourage you to present your solutions during the tutorials and to actively participate in the discussion.




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: 11th September 2023
  • Duration: 90 min
  • Location: tba.
  • Permitted in the exam: one handwritten sheet of paper, max. size A4, both sides may be used

Module result

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


Links & Literature