Vorbesprechung und Anmeldung

Siehe Zeit und Ort.

Das Anmeldesystem ist freigeschaltet! Zum Anmeldesystem.

Inhalt

Im Mittelpunkt der Vorlesung stehen die Konzepte von Korrektheit, Vollständigkeit und Optimalität in

Programmverifikation
Methode von Hoare (soundness, completeness), stärkste Nachbedingungen, schwächste Vorbedingungen,...
Programmanalyse
Datenflussanalyse, erschöpfende vs. anforderungsgetriebene Analyse (exhaustive vs. demand-driven analysis), intraprozedural, interprozedural, parallel, abstrakte Interpretation, Model-checking,...
Programmtransformation, speziell in der Optimierung

Ziele

Üblick über fundamentale Prinzipien und Konzepte in Programmverifikation, -analyse und -transformation
Herausarbeiten und Verstehen von Gemeinsamkeiten, Analogien und Unterschieden zwischen Programmverifikation und -analyse
Erkennen und Einschätzen der Möglichkeiten und Grenzen insbesondere automatischer Programmanalyse (und Optimierung)

Voraussetzungen

Sie sollten mitbringen:

Grundlagen in Theoretischer Informatik, grundlegende Programmierkenntnisse
Kenntnisse im Übersetzerbau sind hilfreich, etwa aus der LVA Übersetzerbau (185.175 LU 3.0h bzw. 185.548 VO 2.0h), aber nicht zwingend erforderlich
Abgeschlossenes Bakkalaureat, falls Anrechnung für Magisterstudium geplant

Eine perfekte Ergänzung in diesem Semester...

Parallelbesuch der LVA Optimierende Übersetzer (185.187 VU 3.0h), Dr. Markus Schordan

Weiters bietet sich die Vorlesung insbesondere für Teilnehmer der Lehrveranstaltungen 185.548 VO Übersetzerbau und 185.175 LU Übersetzerbau zur Vertiefung an. Eine vorausgegangene (oder gleichzeitige) Teilnahme an diesen Veranstaltungen ist hilfreich, aber nicht Voraussetzung.

Lehrbehelfe

In der Vorlesung verwendete Folien und Aufgabenstellungen für den Übungsteil werden während der Lehrveranstaltung wöchentlich auf dieser Seite zur Verfügung gestellt. Auch die Folien zur Vorbesprechung zu dieser Lehrveranstaltung finden Sie dort.

Zeit und Ort

Die Vorbesprechung für das Wintersemester 2005/2006 wird am Montag, den 10.10.2005, von 16:15 Uhr bis 16:45 Uhr im EI 6 Eckert Hörsaal in der Gußhausstraße stattfinden (detaillierter Lageplan). Die Vorlesungen finden danach wöchentlich montags von 16:00 Uhr c.t. bis 18:00 Uhr beginnend mit dem 17.10.2006 ebenfalls im EI 6 Eckert Hörsaal statt. Die Anmeldung zur Vorlesung wird über ein elektronisches Anmeldesystem erfolgen. Dieses Anmeldesystem wird nach der Vorbesprechung über diese Webseite erreichbar sein. Der Anmeldezeitraum wird ausreichend lang sein und voraussichtlich bis zum Freitag, den 21. Oktober 2005, dauern.

Anrechenbarkeit

Die LVA ist anrechenbar als Wahllehrveranstaltung für folgende Bakkalaureatsstudien:

Data Engineering & Statistics (BDS/W)
Software & Information Engineering im Schwerpunkt "Software Engineering" (BSIa/W)
Medizinische Informatik (BZI/W)

Die LVA ist anrechenbar als Wahllehrveranstaltung für folgendes Magisterstudium:

Software Engineering & Internet Computing (MSE/W)

Prüfungen

Die Prüfungen zur Lehrveranstaltung sind mündlich und werden voraussichtlich in der letzten Vorlesungswoche stattfinden. Andere Termine sind nach Absprache möglich.

Vortragender

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at