Protocol Engineering
Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen
Seiten
2003
|
2003
Vieweg & Teubner (Verlag)
978-3-519-00454-7 (ISBN)
Vieweg & Teubner (Verlag)
978-3-519-00454-7 (ISBN)
Eine gründliche Einführung in das Protocol Engineering in Theorie und Beispiel
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 Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Proto-kollentwicklung vor. Dabei werden sowohl die praktischen als auch die theoretischen Aspekte des Protocol Engineerings betrachtet. Darüber hinaus werden Einführungen in die formalen Beschreibungstechniken SDL 2000, MSC, ASN.1, LOTOS sowie die Testnotationen TTCN-2 und TTCN-3 gegeben.
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 Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Proto-kollentwicklung vor. Dabei werden sowohl die praktischen als auch die theoretischen Aspekte des Protocol Engineerings betrachtet. Darüber hinaus werden Einführungen in die formalen Beschreibungstechniken SDL 2000, MSC, ASN.1, LOTOS sowie die Testnotationen TTCN-2 und TTCN-3 gegeben.
Prof. Dr. Hartmut König, BTU Cottbus
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.
| Erscheint lt. Verlag | 26.11.2003 |
|---|---|
| Reihe/Serie | XLeitfäden der Informatik |
| Zusatzinfo | XIV, 496 S. 158 Abb. |
| Verlagsort | Wiesbaden |
| Sprache | deutsch |
| Maße | 170 x 240 mm |
| Gewicht | 876 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Informatik ► Weitere Themen ► Hardware | |
| Schlagworte | Engineering • Entwicklung • Entwurf • IEEE • Informatik • Internet • Kommunikationsprotokoll • Kommunikationsprotokolle • Leitfäden der Informatik • Lotos • Netzwerkprotokoll • Protocol • SDL • Sprache • TCP • Test • Verifikation |
| ISBN-10 | 3-519-00454-2 / 3519004542 |
| ISBN-13 | 978-3-519-00454-7 / 9783519004547 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
entwickle, drucke und baue deine DIY-Objekte
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
CHF 48,95
