2019 | OriginalPaper | Chapter
Algebraische Datenmodellierung
Author : Manfred Broy
Published in: Logische und Methodische Grundlagen der Programm- und Systementwicklung
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.