Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Modellgetriebene Software Entwicklung

Methoden und Modelle des Systementwurfs

Sommersemester 2020

4 SWS, 8LP 4V + 2Ü

Prof. Dr. Timo Kehrer,

Dr. Thomas Vogel,

Alexander Schultheiß

 

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  
              - 13:15 - 14:45 Ü Keine Übung  
28.04.20 - 09:15 - 12:45 V Vorgehensmodelle/Prozessmodelle
Planung und Management von Softwareprojekten
 
              - 13:15 - 14:45 Ü Keine Übung  
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
Modellgetriebene Softwareentwicklung II

 
              - 13:15 - 14:45 Ü Verhaltensmodellierung  
02.06.20 - 09:15 - 12:45 V Keine Vorlesung  
              - 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 - 09:15 - 12:45 V Keine Vorlesung  
              - 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.

Die Klausur findet am 06.08.2020 via Moodle als Take-Home-Exam statt. Beginn: 14:00 Uhr