Formale Spezifikations- und Verifikationstechniken WS 11/12

Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formale Spezifikations- und Verifikationstechniken WS 11/12

Inhalt

This page in English
Neuigkeiten
Allgemeines
Vorlesung
Folien/Vorbereitung
Übungen
Alte Neuigkeiten

Neuigkeiten

31.01.2012: Der letzte Satz Folien ist verfügbar.

Allgemeines

Semester: WS 2011/2012
Dozent: Prof. Dr. K. Madlener
Betreuer: Reiner Hüchting

Vorlesung

Allgemein:
- INF-51-51-V-7
- 4 Std. Vorlesung
  Mo. 8:30 - 10:00 Uhr, 34-420
  Di. 8:30 - 10:00 Uhr, 34-420
  2 Std. Übung nach Vereinbarung
- 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
  Börger, Stärk : Abstract State Machines Springer
  Nissanke: Formal Specification Techniques and Applications Springer 99
  Astesiano, Kreowski, Krieg-Brückner: Algebraic Foundations of System Specifications (IFIP)
- C) Software-Entwicklung 1, 2, Mathematik, Formale Grundlagen der Programmierung, Logik, Entwurf und Analyse von Algorithmen.
- E) Kernveranstaltung des Lehrgebietes.
Beginn: 19.10.2011
Weitere Informationen: KIS

Folien/Vorbereitung

Folien zum Lesen am Rechner:
- 1-457
Zusatzmaterial: ASM-Beispiele , Verfeinerungsmethoden , Kürzeste Wege

Übungen

Termine:
- Di 15:30 - 17:00 Uhr Uhr Raum 34-420.

Übungsblätter

Blatt 1
Blatt 2
Blatt 3
Blatt 4
Blatt 5
Blatt 6
Blatt 7
Blatt 8
Blatt 9
Blatt 10
Blatt 11
Blatt 12
Blatt 13

Abgabe bitte per EMail an huechting@cs.uni-kl.de

Alte Neuigkeiten

30.01.2012: Es sind weitere Folien verfügbar.

23.01.2012: Das dreizehnte Übungsblatt steht online.

23.01.2012: Die Folien bis zum Ende der Vorlesung stehen online.

16.01.2012: Das zwölfte Übungsblatt steht online.

09.01.2012: Das elfte Übungsblatt steht online.

19.12.2011: Das zehnte Übungsblatt steht online.

13.12.2011: Das neunte Übungsblatt steht online.

14.11.2011: Die Folien 1-349 stehen online.

07.12.2011: Das achte Übungsblatt steht online.

07.12.2011: Wie in der Vorlesung festgelegt, findet die Übung heute um 14 Uhr statt.

06.12.2011: Die heutige Übung muss leider ausfallen. Ein Ersatztermin wird demnächst bekanntgegeben.

29.11.2011: Das siebte Übungsblatt steht online.

21.11.2011: Das sechste Übungsblatt steht online.

14.11.2011: Das fünfte Übungsblatt steht online.

14.11.2011: Die Folien 1-259 stehen online.

07.11.2011: Das vierte Übungsblatt steht online.

02.11.2011: Die Folien 1-159 stehen online.

02.11.2011: Das dritte Übungsblatt steht online.

02.11.2011: Unter Folien/Vorbereitung stehen die Zusatzfolien aus der Vorlesung zur Verfügung.

27.10.2011: Ab dem 14. November findet die Vorlesung Montags und Dienstags jeweils um 8:30 Uhr und die Übung Dienstags um 15:30 statt.

27.10.2011: Zeitplan für die beiden kommenden Wochen:

Datum/Uhrzeit	Vorlesung/Übung
Mo, 31.10.2011, 8:30 Uhr	Vorlesung
Mi, 02.11.2011, 8:30 Uhr	Vorlesung
Do, 03.11.2011, 8:30 Uhr	Vorlesung
Mo, 07.11.2011, 8:30 Uhr	Vorlesung
Di, 08.11.2011, 8:30 Uhr	Übung
Di, 08.11.2011, 15:30 Uhr	Übung

27.10.2011: Das zweite Übungsblatt steht online.

23.10.2011: Die Folien 1-114 stehen online.

19.10.2011: Das erste Übungsblatt steht online.

18.10.2011: Die ersten Folien stehen online.

10.10.2011: Die erste Vorlesung findet am Mittwoch, 19.10.2011 statt.

Vorlesungen

AG Grundlagen der Informatik

FB Informatik

TU Kaiserslautern

Last Update: Tuesday, 31-Jan-12 19:25:09 GMT
madlener@informatik.uni-kl.de