Zusammenfassung
Zur Modellierung informatischer Systeme gibt es neben den pragmatischen Beschreibungstechniken immer auch den mathematisch axiomatischen Ansatz. Einen ersten Eindruck hat bereits das Beispiel aus der Einleitung vermittelt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Entity-Relationship-Diagramme sind dafür ein repräsentatives Beispiel. Es gibt Untersuchungen, nach denen sie von allen diagrammatischen Beschreibungstechniken bei weitem am häufigsten verwendet werden.
Auch in weiteren Beispielen werden wir die vertraute Infixnotation für Terme benutzen, also a+b statt z.B. add (a, b) schreiben.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M., Steinbrüggen, R. (2004). Algebraische Modellierung. In: Modellbildung in der Informatik. Xpert.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18732-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-18732-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62267-0
Online ISBN: 978-3-642-18732-2
eBook Packages: Springer Book Archive