Mit modernen Methoden der Modellierung wird eine Problemstellung eines Rechner-integrierten Systems zunächst (formal) formuliert und untersucht, bevor Software zu ihrer Lösung geschrieben wird. Modellierung umfasst auch System-Komponenten, die nicht implementiert werden sollen, beispielsweise Geschäftsprozesse oder die Organisation mechanischer Produktionsverfahren.In dieser Vorlesung werden grundlegende Techniken der Modellierung vorgestellt und an Fallstudien verdeutlicht.
Die Lehrveranstaltung findet auf Deutsch statt.
Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden: