Methods in Software Engineering
- Aktuelles
- Beschreibung
In this master level lecture, we will look at some advanced topics for software engineering, notably with a focus on tools and techniques to streamline the development workflow and to guarantee a high software quality.
This lecture will be organized loosely around practical experiments, theoretical lectures, reading assignments, discussions, tutorials, and tool demos.
We will meet virtually weekly, and possibly switch to a presence format when the situation permits it. The scheduled time is Wednesday 10am.The corresponding module is: WP 3: Methoden des Software Engineering (INF-MSE) with 6 ECTS.
Some possible topics (still in preparation):
- modern programming languages that can guarantee absence of bugs (Rust, Agda, Lean, …)
- fancy techniques for software testing, such as fuzzing and automated test-case generation
- how to set up continuous integration
- mathematics formalized with the help of a computer (Isabelle, …)
- how to write clean and understandable code (or why copy & paste isn’t always bad, possibly with source code case studies)
- how to bridge the large (!) abstraction gap between high-level specifications and system-level source code
- when and how to formalize requirements in logic
Background in logic and similar topics will therefore be helpful (e.g. from FSV, FSK, LDS or similar).
Language: English
- Institut
- Institut für Informatik
- Dozent:in
- Kursteilnehmer:innen
- 288
- Anmeldung
Mi 17 Feb 2021 00:00 – Do 30 Sep 2021 23:59
Abmeldung nur bis Do 30 Sep 2021 23:59
- Material
Das Kursmaterial ist nur für Mitglieder des Kurses einsehbar, also z.B. für Teilnehmer:innen, Tutor:innen, Korrektor:innen und Verwalter:innen.
- Prüfungen
Name Anmeldung ab Anmeldung bis Termin Prüfungsanmeldung Di 01 Jun 2021 00:00So 18 Jul 2021 23:55Mi 28 Jul 2021 14:00 – 16:00Nicht zur Prüfung angemeldetDi 20 Jul 2021 00:00So 03 Okt 2021 00:00Do 07 Okt 2021 00:00 – 00:00Nicht zur Prüfung angemeldet- Termine
Art Zeit Regulärer Raum Notiz Vorlesung—