Titlebook: Algebraische Spezifikation abstrakter Datentypen; Eine Einführung in d Hans-Dieter Ehrich,Martin Gogolla,Udo Walter Lipec Textbook 1989 Spr

甜瓜

Introduction: Democracy and Salamis,infilhrung; Fehlerfortpflanzung; Fehlerbeseitigung; Korrektheit; Kontext; konsistente und abdeckende Axiome; Existenz von finalen Algebren; implizite Ungleichung; Ok/Fehler-disjunkte Signatur; Ok/Fehler-disjunkte Algebra; ausgezeichnete Fehlerkonstante; punktierte Fehleralgebra; implizite Fehlerfortpflanzung.

蚊子

Antecedent

archetype

BLOT

CYN

QUAIL

蚀刻

Parametrisierung,einer parametrischen Spezifikation; Abwendung von Namenkonflikten mittels Pushouts; Mehrfache Anwendung von parametrischen Spezifikationen; Assoziativität der Anwendung; Parametrische abstrakte Datentypen (PADTen); (streng) persistente, minimale und reduzierte PADTen; Zusammenhang zwischen streng pe

Debility

PADT-Konstruktion,ationen; Pushouts in ADT; Übertragung von Persistenz; Extension Lemma; Sichten; parametrische Anwendung eines PADTs; Quasi-Assoziativität der Anwendung; spezielle parametrische Anwendungen: Kombination, Erweiterung, Anreicherung und Ableitung; Reduktion eines PADTs; Verträglichkeit von Reduktion und

synovium