Spezifikationssprachen
- Prof. Dr. Volker Gruhn
- Dr. Matthias Book
- Dr. Tobias Brückmann
Learning Targets:
Im Übungsbetrieb werden in der Vorlesung behandelte Spezifikationssprachen anhand von konkreten Beispielszenarien eingesetzt. Dabei wird das in der Vorlesung erworbene Wissen vertieft und gefestigt.
Methods of Assessment:
Abschließende gemeinsame mündliche oder schriftliche Prüfung über den Stoff von Vorlesung und Übung.
Formalities:
Neben einem abgeschlossenen Bachelor-Studium in Systems Engineering (mit den darin enthaltenen Pflichtmodulen) gibt es keine weiteren zwingenden Voraussetzungen.
Der Workload für das Modul "Spezifikationssprachen" ist mit 180 Stunden angesetzt, davon 45 Stunden Präsenzzeit.
2 SWS, 3 Credits
