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.

欢乐中国

窗帘等

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.

作呕

预知