Search results for 2024

On this page you can find all the courses offered by the chair of Software Engineering in the winter term 2023/2024 as well as respective slides and accompanying exercises.

This proseminar gives a first introduction to scientific working in the discipline of computer science. The emphasis in this proseminar is on the presentations both in the role of a speaker as well as a participant. Participating students will elaborate presentations on fundamental concepts of automata theory.

On this page you find all the courses offered by the chair of Software Engineering in the summer term 2024 as well as respective slides and accompanying exercises.

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.