Format:
1 Online-Ressource (VIII, 238 S.)
ISBN:
9783642690099
,
9783540122562
Note:
Dieses Buch entstand als Ausarbeitung einer Vorlesung für Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkenntnisse 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-Spezifikation beschränkt, mußte 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 eingeführt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Präsentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise für die zugrundeliegenden Sätze der Universellen Algebra wurden in der Regel ausgelassen, um die konsequente Entwicklung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Zügen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte Einführung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daß sie nicht auch praktisch anwendbar wären. Andererseits kann es auch für den Praktiker nur von Vorteil sein, sich wenigstens in groben Zügen über die theoretischen Grundlagen seiner Arbeit klarzuwerden
Language:
German
Keywords:
Softwarespezifikation
;
Algebraische Spezifikation
DOI:
10.1007/978-3-642-69009-9
Author information:
Klaeren, Herbert 1950-
