703523 Experimente mit Verifikation

Sommersemester 2008 | Stand: 19.08.2008 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Harald Störrle Univ.-Prof. Dr. Harald Störrle
703523
Experimente mit Verifikation
VO 1
2
14tg.
jährlich
Deutsch
Überblick über aktuelle Spezifikationsmethoden und Verifikationsprobleme. Vertiefung im MoMaT-Ansatz.
Grundbegriffe von Spezifikation und Verifikation. Untersuchen realer Fallstudien; überblickende Darstellung der Probleme, Techniken und Werkzeuge, die in industriellen Anwendungen auftreten
Vorlesung mit integriertem Praktikum
Praktische Arbeit abzugeben zum Ende des Semesters
Skrip wird in der VL ausgegeben
Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation und Verifikation.
Beginn: KW 10
http://lssd.uibk.ac.at/lssd/Lehre/2008ss/vl-xv.htm
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Di 04.03.2008
 08.00 - 09.00 HS 10 HS 10 Barrierefrei
Di 11.03.2008
 08.00 - 09.00 HS 10 HS 10 Barrierefrei
Di 01.04.2008
 08.00 - 09.00 HS 10 HS 10 Barrierefrei
Di 08.04.2008
 15.00 - 18.00 3W03 3W03 Barrierefrei
Di 06.05.2008
 15.00 - 18.00 3W03 3W03 Barrierefrei
Di 27.05.2008
 15.00 - 18.00 3W03 3W03 Barrierefrei
Di 24.06.2008
 15.00 - 18.00 3W03 3W03 Barrierefrei