Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.800-B Proseminar Kausalität -
Location
- n.V. Bitte wenden Sie sich an die Lehrenden.
Description
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.
Lecturers
SWS
2