Algebraische Spezifikation

!lieses Buch entstand als Ausarbeitung einer Vorlesung fUr Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkennt­ nisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezi­ fikation beschrankt, ;]1UBte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingefUhrt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Priisentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise fiir die zugrundeliegenden Siitze der Universellen Algebra wurden in der Regel ausgelassen, um die konseq uente Entwick­ lung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Ziigen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte EinfUhrung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daB sie nicht auch praktisch anwendbar wiiren. Andererseits kann es auch fiir den Praktiker nur von Vorteil sein, sich wenigstens in groben Ziigen iiber die theoretischen Grundlagen seiner Arbeit klarzuwerden.