Abstraktionsprinzip
Fragen
Anmerkungen
Abstraktionsfunktion: legt explizit fest, welchem abstrakten Wert ein konkreter, erlaubter Wert der gewählten Repräsentation entspricht.
Repräsentationsinvariante: macht alle Annahmen, die der Implementierung der Operationen des ADT zugrund liegen explizit und definiert die erlaubten Werte.
Links