Algebraische Spezifikation abstrakter Datentypen

Eine Einführung in die Theorie

AvHans-Dieter Ehrich,Martin Gogolla

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-10-01
Mått:170 x 244 x 14 mm
Vikt:442 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden und Monographien der Informatik
Antal sidor:239
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022664

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1. Einleitung.- 1.1 Daten.- 1.2 Datentypen.- 1.3 Abstrakte Datentypen.- 1.4 Das Spezifikationsproblem.- 1.5 Übungen.- 2. Spezifikation.- 2.1 Signaturen.- 2.2 Axiome.- 2.3 Modelle.- 2.4 Theorien.- 2.5 Übungen.- 3. Strukturierung.- 3.1 Signatur-Morphismen.- 3.2 ADT- und Theorie-Morphismen.- 3.3 Strukturierte Spezifikationen.- 3.4 Übungen.- 4. Initialität.- 4.1 Term-Modelle.- 4.2 Initiale Modelle.- 4.3 Quotienten.- 4.4 Initiale Semantik.- 4.5 Übungen.- 5. Berechnung.- 5.1 Gleichungskalkül.- 5.2 Induktion.- 5.3 Kanonische Termalgebren.- 5.4 Termersetzung.- 5.5 Operationale Semantik.- 5.6 Übungen.- 6. Konstruktion.- 6.1 Erweiterungen.- 6.2 Datentyp-Konstruktoren.- 6.3 Freie Erweiterungen.- 6.4 Freie Konstruktion.- 6.5 Hierarchische Spezifikation.- 6.6 Übungen.- 7. Verhalten.- 7.1 Äquivalenz.- 7.2 Verhaltens-Abstraktion.- 7.3 Finale Algebren.- 7.4 Finale Semantik.- 7.5 Übungen.- 8. Parametrisierung.- 8.1 Pushouts in SIGN und SPEC.- 8.2 Parametrische Spezifikation.- 8.3 Parametrische abstrakte Datentypen.- 8.4 Übungen.- 9. PADT-Konstruktion.- 9.1 Grundlagen.- 9.2 Parametrische Anwendung.- 9.3 Reduktion.- 9.4 Übungen.- 10. Implementierung.- 10.1 Einführung.- 10.2 Realisierung.- 10.3 Komposition von Implementierungen.- 10.4 Übungen.- 11. Untersorten.- 11.1 Signaturen.- 11.2 Algebren.- 11.3 Gleichungen.- 11.4 Deklarationen.- 11.5 Operationale Semantik.- 11.6 Übungen.- 12. Fehler und Ausnahmen.- 12.1 Sichere und unsichere Funktionen.- 12.2 Implizite Ungleichungen.- 12.3 Ok/Fehler-disjunkte Untersorten.- 12.4 Punktierte Fehleralgebren.- 12.5 Vergleich der Methoden.- 12.6 Übungen.- Grundbegriffe der Kategorientheorie.- Literatur.

Mer från samma författare

Algebraische Spezifikation abstrakter Datentypen

Udo Walter Lipeck, Martin Gogolla, Hans-Dieter Ehrich

E-bok

2013

542 kr

Objects, Agents, and Features

Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich

Häftad, 2004

573 kr

Objects, Agents, and Features

Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan

E-bok

2004

739 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

829 kr

Theoretische Informatik

Ingo Wegener

Häftad, 1993

520 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

520 kr

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

726 kr

Datenflußrechner

Theo Ungerer

Häftad, 1993

520 kr

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

520 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

674 kr

Parsing

Fritz Hohagen

Häftad, 1994

572 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

829 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad, 1990

520 kr

Du kanske också är intresserad av

Algebraische Spezifikation abstrakter Datentypen

Udo Walter Lipeck, Martin Gogolla, Hans-Dieter Ehrich

E-bok

2013

542 kr

Objects, Agents, and Features

Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan

E-bok

2004

739 kr

Objects, Agents, and Features

Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich

Häftad, 2004

573 kr

Theory and Practice of Model Transformations

Laurence Tratt, Martin Gogolla

Häftad, 2010

573 kr

Tests and Proofs

Burkhart Wolff, Martin Gogolla

E-bok

2011

739 kr

Theory and Practice of Model Transformations

Martin Gogolla, Laurence Tratt

E-bok

2010

739 kr

Tests and Proofs

Martin Gogolla, Burkhart Wolff

Häftad, 2011

573 kr

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

Cris Kobryn, Martin Gogolla

E-bok

2003

739 kr

Extended Entity-Relationship Model

Martin Gogolla

Häftad, 1994

573 kr

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

Martin Gogolla, Cris Kobryn

Häftad, 2001

573 kr

Algebraische Spezifikation abstrakter Datentypen

Eine Einführung in die Theorie

AvHans-Dieter Ehrich,Martin Gogolla

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

520 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-10-01
Mått:170 x 244 x 14 mm
Vikt:442 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden und Monographien der Informatik
Antal sidor:239
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022664

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1. Einleitung.- 1.1 Daten.- 1.2 Datentypen.- 1.3 Abstrakte Datentypen.- 1.4 Das Spezifikationsproblem.- 1.5 Übungen.- 2. Spezifikation.- 2.1 Signaturen.- 2.2 Axiome.- 2.3 Modelle.- 2.4 Theorien.- 2.5 Übungen.- 3. Strukturierung.- 3.1 Signatur-Morphismen.- 3.2 ADT- und Theorie-Morphismen.- 3.3 Strukturierte Spezifikationen.- 3.4 Übungen.- 4. Initialität.- 4.1 Term-Modelle.- 4.2 Initiale Modelle.- 4.3 Quotienten.- 4.4 Initiale Semantik.- 4.5 Übungen.- 5. Berechnung.- 5.1 Gleichungskalkül.- 5.2 Induktion.- 5.3 Kanonische Termalgebren.- 5.4 Termersetzung.- 5.5 Operationale Semantik.- 5.6 Übungen.- 6. Konstruktion.- 6.1 Erweiterungen.- 6.2 Datentyp-Konstruktoren.- 6.3 Freie Erweiterungen.- 6.4 Freie Konstruktion.- 6.5 Hierarchische Spezifikation.- 6.6 Übungen.- 7. Verhalten.- 7.1 Äquivalenz.- 7.2 Verhaltens-Abstraktion.- 7.3 Finale Algebren.- 7.4 Finale Semantik.- 7.5 Übungen.- 8. Parametrisierung.- 8.1 Pushouts in SIGN und SPEC.- 8.2 Parametrische Spezifikation.- 8.3 Parametrische abstrakte Datentypen.- 8.4 Übungen.- 9. PADT-Konstruktion.- 9.1 Grundlagen.- 9.2 Parametrische Anwendung.- 9.3 Reduktion.- 9.4 Übungen.- 10. Implementierung.- 10.1 Einführung.- 10.2 Realisierung.- 10.3 Komposition von Implementierungen.- 10.4 Übungen.- 11. Untersorten.- 11.1 Signaturen.- 11.2 Algebren.- 11.3 Gleichungen.- 11.4 Deklarationen.- 11.5 Operationale Semantik.- 11.6 Übungen.- 12. Fehler und Ausnahmen.- 12.1 Sichere und unsichere Funktionen.- 12.2 Implizite Ungleichungen.- 12.3 Ok/Fehler-disjunkte Untersorten.- 12.4 Punktierte Fehleralgebren.- 12.5 Vergleich der Methoden.- 12.6 Übungen.- Grundbegriffe der Kategorientheorie.- Literatur.