Methoden und Modelle des Systementwurfs
Sommersemester 2017
4 SWS, 8LP 4V + 2Ü
Prof. Timo Kehrer, Prof. Lars Grunske
Dipl.-Inf. Simon Heiden, M.Sc. Yannic Noller
| Vorlesung | Mo 09-11 | RUD 26, 1.306 | |
| Mi 13-15 | RUD 26, 1.306 | ||
| Übungen | Mi 15-17 | RUD 26, 1.306 |
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.
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.