Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.800-B Proseminar Kausalität -
Veranstaltungsort
- n.V. Bitte wenden Sie sich an die Lehrenden.
Beschreibung
Kausalität ist ein Begriff im Bereich der formalen Programmanalyse, der beschreibt, was Gründe für unerwartetes Systemverhalten sein könnten. Im Bereich der Fehlerlokalisation in Programmen untersucht Kausalität beispielsweise welche Programmteile "Schuld" an Fehlern sind. In dem Proseminar wollen wir uns verschiedene Konzepte und Techniken im Bereich der Kausalität anschauen.
Lehrende
SWS
2