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

Diluge

LIMIT

How to Define the European Union?Hierarchische Strukturierung von Software-Entwürfen; Abstraktionsbeziehungen: Realisierung zwischen Algebren, Realisierung zwschen PADTen; Vertr?glichkeit von Realisierungen und PADT-Konstruktionen; Implementierung eines Ziel-PADTs durch Basis-PADTen; Erweiterungsimplementierungen; konstruktive Komposition von Implementierungen.

清醒

Einleitung,Daten und ihre Beschreibung beim Software-Entwurf; Datentypen sind Algebren; abstrakte Datentypen sind Klassen von Algebren; monomorphe und polymorphe abstrakte Datentypen; das Spezifikationsproblem; Aufgaben der Spezifikation; Anforderungen an eine Spezifikation; systematischer überblick über Spezifikationsmethoden; algebraische Spezifikation.

天賦

carotenoids

Strukturierung,Signatur-Morphismen; die Kategorie SIGN; übersetzung von Formeln und Modellen; Erfüllungssatz; ADT- und Theorie-Morphismen; die Kategorien ADT und THEO; die Funktoren TH und MOD; Darstellungssatz; die Kategorie SPEC; strukturierte Spezifikationen; die ADT-Operatoren REDUCE and EXPAND.

歡樂(lè)中國(guó)

窗簾等

Verhalten,?quivalenz; Verhaltens-Abstraktion; der ADT-Operator BEHAV; ?specification by example“; v?llig abstrakte Modelle; finale Algebren; Reduktionen; der ADT-Operator FIN; finale Semantik; der ADT-Operator FINAL.

Seizure

Implementierung,Hierarchische Strukturierung von Software-Entwürfen; Abstraktionsbeziehungen: Realisierung zwischen Algebren, Realisierung zwschen PADTen; Vertr?glichkeit von Realisierungen und PADT-Konstruktionen; Implementierung eines Ziel-PADTs durch Basis-PADTen; Erweiterungsimplementierungen; konstruktive Komposition von Implementierungen.

作嘔

預(yù)知