Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
|
Formale Spezifikation- und Verifikationstechniken WS 05/06
|
Inhalt
2006/02/24: Folien 1-384 verfügbar.
2006/02/22: Scheine sind fertig, Abholung nach Vereinbarung.
2006/02/10: Folien 1-376 verfügbar.
2006/02/10: Übungsblatt 11 war als PostScript mit Endung .pdf im Netz.
2006/02/09: Übungsblatt 12.
2006/02/08: Übungsblatt 11. Aufgaben wurden am 7.2. in der Vorlesung gegeben.
2006/02/02: Folien 1-372 verfügbar.
2006/01/26: Übungsblatt 10.
2006/01/23: Folien 1-345 verfügbar.
2006/01/19: Übungsblatt 9.
2006/01/17: Korrekturen Übungsblatt 8. > ist strikter Anteil einer PO,... X,Y aus {m,i,u}^*...
2006/01/11: Übungsblatt 8.
2006/01/09: Folien 1-318 verfügbar.
2005/12/22: Übungsblatt 7.
2005/12/14: Übungsblatt 6.
2005/12/12: Folien 1-255 verfügbar.
2005/12/01: Übungsblatt 4 und 5, beide über den Rest von ASMs, für nächste bzw. übernächste Woche.
2005/11/24: Übungsblatt 3.
2005/11/24: Das Anmeldeskript für die Übungen ist abgeschaltet. Weitere Anmeldungen per Mail.
2005/11/22: Die Übungsabgaben sollen ab jetzt immer spätestens donnerstags bis Mittag per EMail sein, früh genug, dass bis freitags korrigiert werden kann.
2005/11/22: AsmL sollte auf scints im SCI installiert sein, entsprechende Accounts bekommt man bei Herrn Schmitt im SCI. Dokumentation wie auch die Pakete zum Herunterladen findet man unter
http://research.microsoft.com/fse/asml/. Ab nächster Woche können die Downloads auch bei Bernd Strieder abgeholt werden, damit nicht jeder die 150MB auf seine Quota ziehen muss.
2005/11/18: Folien 1-155 verfügbar, Übungsblatt 2, Abgaben ab Blatt 2 per EMail
2005/11/17: Die Folien 1-110 wurden geändert, bei den alten Folien war die Nummerierung der
Sätze, Definitionen, Lemmata, etc. jede für sich (Satz 3.1, Def. 3.1, Lemma 3.1 kommen alle vor), es werden aber ab sofort alle gemeinsam pro
Kapitel nummeriert. Falls die Folien schon ausgedruckt wurden, es genügt, die Nummerierung an
ca. 20 Stellen anzupassen.
2005/11/15: Anmeldung zu den Übungen ab 12:00 Uhr möglich.
2005/11/14: Übungsblatt 1 verfügbar.
2005/11/07: Folien 1-110 verfügbar, Ausweichtermin Montag 8.15 Uhr für die Vorlesung eingetragen
- Semester: WS 2005/2006
- Dozent: Prof. Dr. K. Madlener
- Betreuer: Bernd Strieder
- Allgemein:
- 89-6201
- 4 Std. Vorlesung
Di. 8.15 - 9.45 Uhr, 13-222
Fr. 8.15 - 9.45 Uhr, 13-222
Ausweichtermin: Mo. 8.15 - 9.45 Uhr, 36-265, erstmalig 14.11.
2 Std. Übung
n.V., s. Aushang
- A) Die mathematisch exakte Spezifikation und Verifikation von
Algorithmen wird durch das an Komplexität stetig zunehmende Gebiet
der Programmentwicklung ein immer bedeutender Bereich der
theoretischen Informatik. Unterschiedliche mathematische
Modellierungen des Begriffs Algorithmus führen dabei zu
unterschiedlichen Spezifikations- und Verifikationstechniken. In
dieser Vorlesung werden wichtige mathematische Modelle des Begriffs
Algorithmus vorgestellt und die jeweils darauf aufbauenden
Möglichkeiten zur Spezifikation und Verifikation aufgezeigt. Es wird
etwa Graphersetzung als Berechnungsmodell eingeführt und Einblicke
in den Bereich der algebraischen Spezifikation und Verifikation
gewährt.
- B) Dörr, Heiko: Efficient graph rewriting and its
implementation, Springer, 1995. INF 355/021.
Ehrig, Hartmut,
Mahr, Bernd: Fundamentals of algebraic specification, Springer.,
1985, INF 510/038.
Baader, Nipkow: Term Rewriting and All That,
Cambridge UP, 1998
- C) Vordiplom.
- E) Kernveranstaltung des Lehrgebietes.
- Beginn: Fr., 04.11., 08:15 Uhr
- Weitere Informationen: KIS
- Folien/Vorbereitung:
Folien zum Lesen am Rechner: Folien 1-384 , ...
Folien zum Drucken (4 pro Seite): Folien 1-384 , ...
Wenn andere Arrangements gewünscht werden, könnte folgende TeX-Datei als Ausgangspunkt
hilfreich sein, mit der auch die druckbare Version mit 4 pro Seite erzeugt wird:
printable.tex
