703502 Formale Spezifikation

Wintersemester 2007/2008 | Stand: 19.08.2008 LV auf Merkliste setzen
703502
Formale Spezifikation
VO 2
4
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesungen verstehen, sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der Spezifikation und Verifikation erlangt haben.
Verhaltensspezifikation; axiomatische Semantik, partielle und totale Korrektheit; algebraische Spezifikation, abstrakte Datentypen; modellbasierte Spezifikation, Kompositionstechniken; ausgewählte Spezifikationsnotationen und Verifikationswerkzeuge
Beginn: KW 40
Gruppe 0
Datum Uhrzeit Ort
Mo 15.10.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 22.10.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 29.10.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 05.11.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 12.11.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 19.11.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 26.11.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 03.12.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 10.12.2007
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 07.01.2008
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 14.01.2008
08.00 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 21.01.2008
08.00 - 10.00 HS A (Technik) HS A (Technik) Barrierefrei
Mi 07.05.2008
16.30 - 19.00 HS B (Technik) HS B (Technik) Barrierefrei 2nd Exam
Mo 07.07.2008
09.00 - 12.00 HS A (Technik) HS A (Technik) Barrierefrei 3rd exam WS 07/08