Vorige Seite (AK Softwareentwicklung (Programmiermethoden)) Der Studienführer Telematik 2001/2002 im Web - Inhaltsübersicht - Aktuelle Version Wahlfächer im 2. Studienabschnitt des Diplomstudiums AK Softwaretechnologie Nächste Seite (AK Theoretische Informatik)

AK Softwaretechnologie

LV-Nummer:
506.078
506.079 Stunden:
2 Vo + 1 Ue (Vorlesung + Übung) Semester:
-- ECTS-Punkte:
3.0 + 1.5 credits Wahlfachkatalog:
Softwaretechnologie Lehrinhalt:
Die Vorlesung befaßt sich mit Programmverifikation und Programmsynthese auf Basis formaler Spezifikationen Lehrziel:
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) Lehrmethode:
Die Vorlesung wird in z.T. seminarartigem Betrieb mit audiovisueller Unterstützung und unter Verwendung von Videoprojektion abgehalten Voraussetzungen:
``Softwaretechnologie'' und ``Softwareparadigmen'', oder deren Besuch parallel zur laufenden Vorlesung Studienbehelfe:
Die Vorlesung hält sich im wesentlichen an das Lehrbuch von David Gries, The Science of Programming, Springer-Verlag, 1981 Newsgroup:
news:tu-graz.lv.akswt Webpage:
http://www.ist.tu-graz.ac.at/courses Anmerkungen:
Diese Lehrveranstaltung findet im Studienjahr 2001/2002 voraussichtlich nicht statt. Bitte die Aushänge am Institut beachten.

			© 1997-2002: Dieter LUTZMAYR Letzte Änderung am 27. Dezember 2001