Methods in Software Engineering

Aktuelles
  • Schedule

    • April 14: Introduction
    • April 21: Fundamentals of functional and imperative programming
    • April 28: Data Types
    • May 05: Proofs
    • May 12: Tutorial and Discussion of Exercises
    • May 19: Encapsulated Components
    • May 26: SOLID
    • June 02: Liskov, Invariants
    • June 08: System Modeling
    • June 16: Tutorial and Discussion of Exercises
    • June 23: Git, Code-Hosting
    • June 30: Testing
    • July 07: Invited industry talk on requirements engineering in practice
    • July 14: Last tutorial, questions and answers
    • July 28, 14:00-16:00 1st Exam, see also the list of exam dates
    • October 7, 10:00-12:00 2nd exam

    Zuletzt verändert: Do 30 Sep 2021 18:11

  • Credits for this lecture/Anrechnung

    This lecture by default can be taken by bachelor and master students with major “Informatik” as well as “Medieninformatik”. If you take computer science as a secondary subject, we can check whether you can get credit for this lecture, please write on Zulip or per Mail your exact combination, including the number of ECTS points you need in computer science (30 or 60).

    Diese Vorlesung kann problemlos angerechnet werden im Bachelor und Masterstudium mit Hauptfach “Informatik” oder “Medieninformatik”. Regeln für Informatik im Nebenfach können wir gerne im einzelnen prüfen, bitte schreiben Sie auf Zulip oder per Mail welche Kombination Sie haben und wie viele ECTS Punkte Sie im Nebenfach erlangen müssen (30 oder 60).

    Zuletzt verändert: Do 15 Apr 2021 18:45

  • Course limit dropped

    Due to high demand the course limit has been dropped. You can now register freely.

    Zuletzt verändert: Mo 12 Apr 2021 11:00

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
NameAnmeldung abAnmeldung bisTerminPrüfungsanmeldung
Di 01 Jun 2021 00:00
So 18 Jul 2021 23:55
Mi 28 Jul 2021 14:00 – 16:00
Nicht zur Prüfung angemeldet
Di 20 Jul 2021 00:00
So 03 Okt 2021 00:00
Do 07 Okt 2021 00:00 – 00:00
Nicht zur Prüfung angemeldet
Termine
ArtZeitRegulärer RaumNotiz
Vorlesung
  • Mi 10:15–12:00