703502 Formale Spezifikation
Wintersemester 2008/2009 | Stand: 20.03.2009 | LV auf Merkliste setzen703502
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
written with open questions
Beginn: KW 40
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 06.10.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 13.10.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 20.10.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 27.10.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 03.11.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 10.11.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 17.11.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 24.11.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 01.12.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 15.12.2008
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 12.01.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 19.01.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 26.01.2009
|
08.00 - 10.00 | HS B (Technik) HS B (Technik) | Barrierefrei | 1st exam |
|
Mo 26.01.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 13.03.2009
|
10.00 - 13.00 | HS A (Technik) HS A (Technik) | Barrierefrei | 2nd exam |
|
Do 23.04.2009
|
13.00 - 16.00 | HS B (Technik) HS B (Technik) | Barrierefrei | 3rd exam |