Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme: Springer Compass
Autor Dieter Hogrefe Cuvânt înainte de Friedrich Vogtde Limba Germană Paperback – 15 noi 2011
Din seria Springer Compass
- 20% Preț: 375.06 lei
- 20% Preț: 518.68 lei
- 20% Preț: 236.21 lei
- 20% Preț: 355.75 lei
- Preț: 429.22 lei
- 20% Preț: 238.50 lei
- 20% Preț: 365.80 lei
- 20% Preț: 242.15 lei
- 20% Preț: 368.95 lei
- 20% Preț: 390.71 lei
- 20% Preț: 418.43 lei
- 20% Preț: 353.93 lei
- 20% Preț: 357.58 lei
- 20% Preț: 370.74 lei
- 20% Preț: 240.31 lei
- 20% Preț: 241.82 lei
- 20% Preț: 237.52 lei
- 20% Preț: 418.43 lei
- 20% Preț: 356.22 lei
- 20% Preț: 356.22 lei
- 20% Preț: 304.94 lei
Preț: 239.99 lei
Preț vechi: 299.99 lei
-20% Nou
Puncte Express: 360
Preț estimativ în valută:
45.93€ • 47.38$ • 38.87£
45.93€ • 47.38$ • 38.87£
Carte tipărită la comandă
Livrare economică 05-19 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642742392
ISBN-10: 3642742394
Pagini: 208
Ilustrații: XV, 188 S.
Dimensiuni: 170 x 244 x 11 mm
Greutate: 0.34 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer Compass
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642742394
Pagini: 208
Ilustrații: XV, 188 S.
Dimensiuni: 170 x 244 x 11 mm
Greutate: 0.34 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer Compass
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
1 Einleitung.- 2 Die geschichtete Kommunikationsarchitektur.- 2.1 Dienste und Protokolle.- 2.2 Die 7 Schichten des OSI-Referenzmodells.- 2.3 Beispiel zur Schichtung von Diensten und Protokollen.- 2.4 Konformität zwischen Dienst und Protokoll.- 3 Estelle.- 3.1 Einleitung.- 3.2 Basiskonstrukte zur Beschreibung der Zustandsübergänge.- 3.3 Strukturierung einer Spezifikation.- 3.4 Beispiele.- 4 Lotos.- 4.1 Einleitung und Basismodell.- 4.2 Beschreibung des Prozeßverhaltens in Basis-LOTOS.- 4.3 Strukturierung einer Spezifikation in Basis-LOTOS.- 4.4 Beschreibung abstrakter Datentypen in LOTOS.- 4.5 Anwendung abstrakter Datentypen in LOTOS.- 4.6 Beispiele.- 5 SDL.- 5.1 Einleitung.- 5.2 Basiskonstrukte für die Spezifikation von Prozessen.- 5.3 Strukturierung und Prozeßkommunikation.- 5.4 Das Datentypkonzept in SDL.- 5.5 Dokumentation.- 5.6 Weitere Sprachkonstrukte.- 5.7 Nicht-Determinismus und SDL.- 5.8 Beispiele.- 6 Allgemeine Aspekte.- 6.1 Vorteile einer formalen Spezifikationssprache gegenüber der natürlichen Sprache.- 6.2 Werkzeuge für formale Spezifikationssprachen.- 6.3 Checklisten für formale Spezifikationen.- 6.4 Der Drei-Phase-Plan von CCITT und ISO.- Literatur.