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 伟德国际_伟德国际1946$娱乐app游戏), Dr. Karl Meinke (伟德国际_伟德国际1946$娱乐app游戏 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.