703502 Formale Spezifikation
Wintersemester 2009/2010 | Stand: 15.02.2010 | 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 41
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 19.10.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 09.11.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 16.11.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 23.11.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 30.11.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 07.12.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 14.12.2009
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 11.01.2010
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 18.01.2010
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 25.01.2010
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 01.02.2010
|
08.15 - 10.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |