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.
