Projektstart: 01.01.1991

?

Projektende:?31.12.1994

?

Laufzeit: 01.01.1991 - 31.12.1994

?

Projekttr?ger: Universit?t Augsburg

?

Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller (Leiter)

?

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Manfred Broy (TU München), Prof. Dr. H. Schwichtenberg (LMU München), Prof. J. V. Tucker, Ph.D (Swansea University), Dr. Karl Meinke (University Swansea)

?

?

Zusammenfassung

Bei der Methode der algebraischen Spezifikation werden Datenstrukturen durch ihre typischen Operationen und die zwischen ihnen herrschenden Gleichungsgesetze charakterisiert. W?hrend dieser Ansatz zun?chst auf Operationen erster Stufe beschr?nkt war, hatten die zentralen Projektpartner, K. Meinke und B. M?ller, Pionierarbeit darin geleistet, ihn auf den Fall von Operationen h?herer Stufe zu erweitern.
Das Projekt befa?te sich mit der Weiterentwicklung der zugrunde liegenden mathematischen Theorie sowie mit Fallstudien zum Einsatz dieser Methode. Speziell wurden Untersuchungen zur Klassifikation der Ausdrucksst?rke und zur Berechenbarkeit von Modellen von Spezifikationen h?herer Stufe angestellt.