You are here: Home Teaching Summer Term 2025 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 / Tutorial Wednesday, 16:00–18:00, Bld. 101, HS 00-036 (Schick-Saal)
Thursday, 16:00–18:00, Bld. 101, HS 00-036 (Schick-Saal)
Language of instruction English
Exam / Studienleistung see below
Course Catalog Softwaretechnik / Software Engineering - Lecture
Softwaretechnik / Software Engineering - Exercise

 

Quicklinks: News - Sessions - Formalia - Links & Literature

 

News

  • 2025-04-01: Homepage online.

 

Sessions


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 22nd, please send an email providing your RZ-login to Elisabeth.

Lecture and tutorial will take place Wednesdays and Thursdays 16:00 - 18:00. We may switch lecture and tutorial on need. An updated schedule can be found in the Ilias course.

The lecture is accompanied by optional exercise sheets. Solutions to these exercise sheets are discussed in the tutorial. We encourage you to actively participate in the discussion.

Formalia

Studienleistung

There will be two mandatory homework assignments during the term. 50% of the total points from these two assignments are sufficient to pass the "Studienleistung".

Exam

There will be a written exam:

  • Date, time, location: see HisInOne.
  • Duration: 90 minutes.

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