| Jahr |
Semester |
Vortragender |
SWS |
LV Nr |
Typ |
Beschreibung |
Ziel |
| 1995/1996 |
WS |
Messnarz Richard |
1 |
506.079 |
KU |
|
|
| 1995/1996 |
WS |
Messnarz Richard |
2 |
506.078 |
VO |
|
|
| 1996/1997 |
SS |
Lucas Peter |
1 |
506.079 |
KU |
|
|
| 1996/1997 |
SS |
Lucas Peter |
2 |
506.078 |
VO |
|
|
| 1998/1999 |
WS |
Kerschbaumer Andreas
Lucas Peter |
1 |
506.079 |
KU |
Die in der Vorlesung behandelten Techniken werden unter Verwendung von
diversen zur Verfuegung stehenden Tools (Theorem Prover wie PVS, Isabelle,
HOL) angewendet. |
Anwendung der in der Vorlesung behandelten Konzepte. |
| 1998/1999 |
WS |
Lucas Peter |
2 |
506.078 |
VO |
Die Vorlesung befasst sich mit Programmverifikation und Verfeinerung auf Basis
formaler Spezifikationen. In diesem Zusammenhang wird auch auf die Anwendung
automatisierter Beweishilfen eingegangen.
|
Vertiefung des in der Vorlesung Softwaretechnologie gebrachten Stoffes. Erwerb
von Fertigkeit in der Anwendung automatisierter Werkzeuge zur
Programmverifikation, wie z.B. die Theorem Prover PVS, Isabelle oder HOL. |
| 1999/2000 |
WS |
Kerschbaumer Andreas |
1 |
506.079 |
KU |
Die in der Vorlesung behandelten Techniken werden anhand von Beispielen
vertieft.
|
Anwendung der in der Vorlesung behandelten Konzepte. |
| 1999/2000 |
WS |
Lucas Peter |
2 |
506.078 |
VO |
Die Vorlesung befasst sich mit Programmverifikation und Programmsynthese auf Basis formaler Spezifikationen.
|
Vertiefung des in der Vorlesung Softwaretechnologie gebrachten Stoffes. Es soll die Fertigkeit geuebt werden,
Programme auf Ihre Korrektheit bez. einer gegebenen Spezifikation zu pruefen (Verifikation) und aus einer
gegebenen Spezifikation ein korrektes Programm systematisch zu entwickeln (Programmsynthese). |
