Zusammenfassung
Die Modellierung von Daten, ihrer Strukturen und Eigenschaften ist eine der klassischen Aufgaben der Programmentwicklung und des Software Engineering. Insbesondere in den frühen Phasen der Softwareentwicklung, in Anforderungsanalyse und Design, sind wir stark an Techniken der Datenmodellierung für das Anwendungsgebiet interessiert, in denen die Nutzungssicht, nicht aber die Implementierungssicht, adressiert wird. Im Folgenden behandeln wir eine konkrete Methode zur eigenschaftsorientierten Beschreibung von Datenstrukturen, genannt „algebraische Spezifikation“ (auch abstrakte Datentypen genannt), bei der die charakteristischen Eigenschaften einer Rechenstruktur axiomatisch durch Gleichungen beschrieben werden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Broy, M. (2019). Algebraische Datenmodellierung. In: Logische und Methodische Grundlagen der Programm- und Systementwicklung. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-26302-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-658-26302-7_3
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-26301-0
Online ISBN: 978-3-658-26302-7
eBook Packages: Computer Science and Engineering (German Language)