UID:
almahu_9948191871902882
Format:
XIV, 496 S. 158 Abb.
,
online resource.
Edition:
1st ed. 2003.
ISBN:
9783322800664
Series Statement:
XLeitfäden der Informatik,
Content:
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.
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783519004547
Language:
German
DOI:
10.1007/978-3-322-80066-4
URL:
https://doi.org/10.1007/978-3-322-80066-4
Bookmarklink