the first lecture will take place on the 3rd of November at 8:30 am. The lectures will be held as teams live events. The links for the events can be found in the event description.
There will be no lecture on monday, 2nd.
Software Engineering Wintersemester 2020/21
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 Softwarepraktikum. Topics that are covered include:
- Domain analysis, feature modeling
- Automated reasoning about software configuration using SAT solvers
- Runtime parameters, design patterns, frameworks
- Version control, build systems, preprocessors
- Collaboration-based design
- Aspects, pointcuts, advice
- Expression problem, preplanning problem, code scattering & tangling, tyranny of the dominant decomposition, inheritance vs. delegation vs. 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
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 *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.
Passing all assignments (prerequisite for the written exam)
Passing the written exam
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.