Protocol Engineering Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen
Protocol Engineering bezeichnet die Entwicklung, Validation und Reali-sierung von Kommunikationsprotokollen unter Verwendung formaler Beschreibungstechniken. Das Buch führt in die Grundlagen des Protocol Engineerings ein. Es stellt die grundlegenden Prinzipien der Funktionsweise von Kommunikationspr...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
2003, 2003
|
| Edition: | 1st ed. 2003 |
| Series: | XLeitfäden der Informatik
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I Prinzip der Kommunikationsprotokolle
- 1 Dienste
- 2 Protokolle
- 3 Schichten
- 4 Kommunikationsarchitekturen
- 5 Protokollfunktionen
- 6 Fallbeispiel: Der Internet-Protokollstack
- II Beschreibung von Kommunikationsprotokollen
- 7 Beschreibungsmethoden
- 8 Formale Beschreibungstechniken
- III Entwicklung von Kommunikationsprotokollen
- 9 Entwicklungsphasen
- 10 Entwurf
- 11 Verifikation
- 12 Implementierung
- 13 Test
- 14 Werkzeuge
- Ausblick
- Literatur
- Abkürzungen