Methoden und Modelle des Systementwurfs
Sommersemester 2020
4 SWS, 8LP 4V + 2Ü
Prof. Dr. Timo Kehrer,
Software wird zuverlässiger, änderbarer und preiswerter, wenn vor der Codierung ein Modell erstellt wird, das die Wirkung der Software auf ihre (technische oder organisatorische) Umgebung beschreibt. Die Vorlesung behandelt Methoden, um solche Modelle zu entwerfen und zu analysieren, unterstützt von Softwarewerkzeugen. Alle vorgestellten Methoden werden in der industriellen Praxis verwendet.Für den Entwurf rechnerintegrierter Systeme werden unterschiedliche Methoden verwendet. Verbreitung und Akzeptanz einzelner Methoden wechseln häufig; gelegentlich werden neue vorgeschlagen. Die Vorlesung gibt einen Überblick über aktuelle Methoden, die sich in der Praxis bewährt haben und eine formale Grundlage besitzen.
Covid-19 Information:
Sowohl die Vorlesung als auch die Übungen finden statt. Sie werden als synchrone Online-Veranstaltungen via Zoom zu den regulären Zeiten (s. unten) durchgeführt. Die Zugangsdaten zum Zoom-Meeting werden über die Veranstaltungsseite in Moodle verteilt. Die Zugansinformationen zum Moodle Kurs wurden an alle via Agnes registrierten Teilnehmer*innen versendet. Sollten Sie keine Informationen bekommen haben und dennoch am Kurs teilnehmen wollen, können Sie die Informationen auch per E-Mail erfragen. Bitte nutzen Sie dazu ihre HU E-Mail Adresse.
| Vorlesung | Di 09:15-12:45 | Zoom | |
| Übungen | Di 13:15-14:45 | Zoom |
Terminplanung (Änderungen möglich)
| Termin | Thema | ||
|---|---|---|---|
| 21.04.20 - 09:15 - 12:45 | V | Einführung und Organisation | |
| 28.04.20 - 09:15 - 12:45 | V | Vorgehensmodelle/Prozessmodelle Planung und Management von Softwareprojekten |
|
| 05.05.20 - 09:15 - 12:45 | V | Anforderungsanalyse und -spezifikation Architekturmodellierung |
|
| - 13:15 - 14:45 | Ü | Projektplanung | |
| 12.05.20 - 09:15 - 12:45 | V | Detailentwurf - Strukturmodellierung Detailentwurf - Verhaltensmodellierung |
|
| - 13:15 - 14:45 | Ü | Use Cases | |
| 19.05.20 - 09:15 - 12:45 | V | Entwurfsmuster und -prinzipien Implementierung - Clean Coding - Refactoring |
|
| - 13:15 - 14:45 | Ü | Strukturmodellierung | |
| 26.05.20 - 09:15 - 12:45 | V |
Modellgetriebene Softwareentwicklung I |
|
| - 13:15 - 14:45 | Ü | Verhaltensmodellierung | |
| 02.06.20 - |
|||
| - 13:15 - 14:45 | Ü | Design Principles | |
| 09.06.20 - 09:15 - 12:45 | V | Funktionsorientierter Test | |
| - 13:15 - 14:45 | Ü | Design Patterns | |
| 16.06.20 - 09:15 - 12:45 | V | Kontrollflussorientierter Test I Kontrollflussorientierter Test II |
|
| - 13:15 - 14:45 | Ü | Blackbox Testing | |
| 23.06.20 - 09:15 - 12:45 | V | Integration und Integrationstest Statische Code-Analyse |
|
| - 13:15 - 14:45 | Ü | Whitebox Testing | |
| 30.06.20 - |
|||
| - 13:15 - 14:45 | Ü | Integrationstests | |
| 07.07.20 - 09:15 - 12:45 | V | Debugging Konfigurationsmanagement |
|
| - 13:15 - 14:45 | Ü | Statische Code-Analyse | |
| 14.07.20 - 09:15 - 12:45 | V | Klausurvorbereitung | |
| - 13:15 - 14:45 | Ü | Klausurvorbereitung |
Prüfung
Voraussetzungen
Für die Zulassung zur Prüfung ist ferner die Teilnahme am Übungsbetrieb verpflichtend. Jedes Übungsblatt muss in einer Gruppen bearbeitet und abgegeben werden. Jeder Studierende muss in der Lage sein, die abgegebene Lösung in der Übung zu präsentieren.
Klausur (135 min.)
Die Lehrveranstaltung wird mit einer Klausur geprüft. Es handelt sich um eine Open-Book-Klausur: Alle Dokumente und Bücher, sowie ein nicht-programmierbarer Taschenrechner sind erlaubt.