| Veranstalter: | Prof. Dr. Falk Howar Jan Winkels |
|---|---|
| Typ: | Basismodul aus Forschungsbereich: „Software, Sicherheit und Verifikation“ |
| Modulnummer: | Inf-MSc-211 |
| SWS: | 4 SWS Vorlesung 2 SWS Übung |
| Zeit und Ort: |
Vorlesung: Montag, 12:15–13:45 Uhr, OH14 / E23 Übung: Dienstag, 12:15–13:45, OH12 / 3.031 |
| Beginn: | Montag, 03.04.2023, 12:15 Uhr |
| Veranstaltungsnummer: | 041201 |
| Anmeldung: | via LSF |
Die Vorlesung behandelt die methodischen Grundlagen des Software Engineering in fünf Kapiteln.
In jedem dieser Kapitel schauen wir uns Prinzipien und formale Grundlagen, etablierte Vorgehensmodelle und Methoden, praktische Beispiele und Werkzeuge, sowie ausgewählte Forschungsthemen an. Die Vorlesung wird begleitet von Übungsaufgaben an einem praktischen Projekt (eine in Spring-Boot entwickelte Web-Anwendung für das Spielen von Mensch-Ärgere-Dich-Nicht und anderen ähnlichen Brettspielen).
Die Veranstaltung ist für Master-Studierende des gedacht, die ihre Kenntnisse der Softwaretechnik vertiefen wollen. Bachelor-Studierende können nach Absprache ggf. ebenfalls teilnehmen. Bei regelmäßiger Teilnahme an den Übungen besteht die Möglichkeit zum Erwerb des Übungsscheins.
Voraussetzungen
Die Veranstaltungen des Bachelor-Studiums werden vorausgesetzt, hier besonders die Veranstaltungen Softwaretechnik, Softwarekonstruktion und Software-Praktikum. Da fortgeschrittene logische und algebraische Techniken Teil des Curriculums sind (z.B. logik-basierte Spezifikation und Verifikation), ist die sichere Beherrschung der Lerninhalte der Vorlesungen über mathematische Grundlagen der Informatik Voraussetzung für einen erfolgreichen Besuch der Vorlesung.
Das Material (Folien, Literatur, Übungsaufgaben) wird im TU Dortmund-Moodle bereitgestellt. Die Einschreibung ins Moodle erfolgt automatisch durch Anmeldung im LSF.