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

只看該作者 · 發(fā)表于 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.

只看該作者 · 發(fā)表于 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.

只看該作者 · 發(fā)表于 2025-3-23 22:44:20

只看該作者 · 發(fā)表于 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.

只看該作者 · 發(fā)表于 2025-3-24 08:17:29

只看該作者 · 發(fā)表于 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.

只看該作者 · 發(fā)表于 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.

只看該作者 · 發(fā)表于 2025-3-24 22:02:05

只看該作者 · 發(fā)表于 2025-3-25 02:03:02

		自動登錄	找回密碼
密碼			To register

關(guān)于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務(wù)流程	影響因子官網(wǎng)	吾愛論文網(wǎng)	大講堂	北京大學(xué)	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點(diǎn)評	投稿經(jīng)驗(yàn)總結(jié)	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學(xué)	Yale Uni.	Stanford Uni.
\|Archiver\|手機(jī)版\|小黑屋\| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-10 11:13
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved