Eine Einführung
Buch, Deutsch, 238 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 435 g
ISBN: 978-3-540-12256-2
Verlag: Springer Berlin Heidelberg
!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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezuständen.- 7. Implementierungen von Gleichungsspezifikationen.- 8. Abstrakte Software-Spezifikationen.- 9. Korrektheit von Spezifikationen.- 10. Parametrisierte Spezifikationen.- 11. Praktischer Einsatz algebraischer Spezifikationen.- 12. Anwendungsbeispiel.- 13. Lösungen zu den Aufgaben.- 14. Bibliographie.- 15. Stichwortverzeichnis.
