Software Engineering Wintersemester 2024/25

 

About the Lecture

The lecture Software Engineering covers a broad range of topics in software engineering with a special focus on software variability, configuration, generation, and optimization. It builds on basic programming and software engineering concepts, as taught in the lectures Programming 1 & 2 and the SE Lab (Softwarepraktikum). Topics that are covered include:

• Domain analysis, feature modelling
• Automated reasoning about software configuration using SAT solvers
• Runtime parameters, design patterns, frameworks
• Version control, build systems, preprocessors, parametric polymorphism, traits / mixins
• Expression problem, preplanning problem, code scattering & tangling, tyranny of the dominant decomposition, inheritance vs. delegation vs. trait / mixin composition
• Feature interaction problem (structural, control- & data-flow, behavioral, non-functional feature interactions)
• Variability-aware analysis and variational program representation (with applications to type checking and static program analysis)
• Sampling (random, coverage)
• Machine learning for software performance prediction and optimization

 

Lecture Format

The lecture will be held in presence in the GHH lecture hall. For the tutorials, we are currently planning a hybrid format (in person + online). More information will be announced closer to the start of the semester. All relevant dates will be in the course's timetable.

 

Registration

To get access to exercise sheets and other course material you need to register via this CMS course.

 

Prerequisites

• Knowledge of programming concepts (as taught in the lectures Programming 1 and Programming 2)

• Basic knowledge of software processes, design, and testing (as taught and applied in the lecture SE Lab/Softwarepraktikum)

 

Assignments / Exam

Beside the lecture and weekly practical exercises, there will be a number of assignments in the form of mini-projects for each student to work on (every two to three weeks). The assignments will be assessed based on the principles covered in the lecture. Passing all assignments is a prerequisite for taking the final written exam. The written exam will be graded. Further examination details will be announced by the lecturer at the beginning of the course.

In short:

• Passing the assignments (prerequisite for the written exam)

• Passing the written exam

 

Literature

• Feature-Oriented Software Product Lines: Concepts and Implementation. S. Apel, et al., Springer, 2013.

• Generative Programming: Methods, Tools, and Applications: Methods, Techniques and Applications. K. Czarnecki, et al., Addison-Wesley, 2000.

• Mastering Software Variability with FeatureIDE. J. Meinicke, et al., Springer, 2017.

• Types and Programming Languages. Benjamin C. Pierce, The MIT Press, 2002.

• Programmierung - eine Einführung in die Informatik mit Standard ML. Gert Smolka, Oldenbourg Verlag, 2011.