Buch

---

Übersicht

---

Verlag	:	Springer Berlin
Buchreihe	:	Informatik-Fachberichte (Bd. 247)
Sprache	:	Deutsch
Erschienen	:	24. 07. 1990
Seiten	:	122
Einband	:	Kartoniert
Höhe	:	242 mm
Breite	:	170 mm
Gewicht	:	260 g
ISBN	:	9783540528548

---

Inhaltsverzeichnis

---

1. Einleitung.- 2. Systeme kommunizierender Instanzen.- 2.1 Reale Systeme.- 2.2 Systemstruktur.- 2.3 Instanz.- 2.4 Kopplung.- 2.5 Systemablauf.- 3. Dienste und Protokolle.- 3.1 Protokolle.- 3.2 Dienste.- 3.3 Kommunikationsdienste.- 3.4 Kommunikationsprotokolle.- 4. Analysemaßnahmen.- 4.1 System-Prüfung.- 4.2 Protokoll-Prüfung.- 5 Spezifikationstechniken.- 5.1 Übersicht und Klassifikation.- 5.2 Petri-Netze.- 5.3 Algebraische Spezifikationen.- 5.4 Erweiterte endliche Automaten.- 6. Strukturierter Erreichbarkeitsgraph.- 6.1 Grundkonzept.- 6.2 Beispiel.- 6.3 Auswertung.- 6.4 Nebenläufigkeitsmuster.- 7. Umgebungsmodelle.- 7.1 Beispiel.- 7.2 Umgebungsbezogene reduzierte Ersatzinstanz.- 7.3 Umgebungsverträglichkeit.- 8. Zusammenfassung.- Literatur.- Liste der Begriffe.- Liste der Definitionen.- Liste der Abbildungen.

Dein Warenkorb

---

---

Deine Buchhandlung

---