Diluge
发表于 2025-3-23 12:18:40
http://reply.papertrans.cn/16/1528/152778/152778_11.png
LIMIT
发表于 2025-3-23 15:45:48
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.
清醒
发表于 2025-3-23 22:03:44
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.
天赋
发表于 2025-3-23 22:44:20
http://reply.papertrans.cn/16/1528/152778/152778_14.png
carotenoids
发表于 2025-3-24 02:42:08
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.
欢乐中国
发表于 2025-3-24 08:17:29
http://reply.papertrans.cn/16/1528/152778/152778_16.png
窗帘等
发表于 2025-3-24 13:44:54
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
发表于 2025-3-24 16:02:36
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.
作呕
发表于 2025-3-24 22:02:05
http://reply.papertrans.cn/16/1528/152778/152778_19.png
预知
发表于 2025-3-25 02:03:02
http://reply.papertrans.cn/16/1528/152778/152778_20.png