Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle .
3 Angebote vergleichen

Bester Preis: 59,95 (vom 28.10.2016)
1
9783860645482 - Ludger Walther: Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle
Ludger Walther

Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle (1997)

Lieferung erfolgt aus/von: Deutschland DE PB NW FE

ISBN: 9783860645482 bzw. 386064548X, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.

59,95 + Versand: 3,00 = 62,95
unverbindlich
Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Variata - Titel ohne Schriftenreihenzuordnung, Band 11 240 pages. Unzuverlässige oder fehlerhafte Software in Programmen und Kommunikationsprotokollen hat immer wieder Softwarekrisen hervorgerufen. Unentdeckte Entwurfsfehler gefährden auf der Ebene der Implementierung das korrekte Verhalten von Rechensystemen und Datenverbindungen und können zu katastrophalen wirtschaftlichen Schäden oder nichttolerierbaren Risiken führen. Um dem Protokollentwickler zu helfen, vorhandene Fehler frühzeitig zu finden und zu beseitigen (Validierung) sowie die Defektfreiheit von Protokollen nachzuweisen (Verifikation), gibt es das systematische Verfahren der Erreichbarkeitsanalyse, mit dessen Hilfe schon auf der Ebene des Entwurfs alle möglichen Verhaltensweisen eines Kommunikationsprotokolls simulativ untersucht werden können. Allerdings ist dieses Verfahren für realistische und komplexe Protokolle wegen der großen Datenmengen und langen Rechenzeiten nicht ohne weiteres praktikabel einsetzbar. In diesem Buch wird die Erreichbarkeitsanalyse verfeinert. Es werden neue Modelle und Algorithmen hergeleitet, mit deren Hilfe die Datenmengen und Rechenzeiten soweit reduziert werden können, dass die Erreichbarkeitsanalyse für realistische Protokolle praktisch anwendbar wird. Diese Verfahren bilden die Grundlage für das neu entwickelte Validierungswerkzeug PROVAL (Protokoll-Validierung). Mit PROVAL ist die Validierung komplexer, realistischer Protokolle möglich, wie exemplarisch am Beispiel des OSI-Protokolls für verteilte Transaktionsverarbeitung (OSI-TP) gezeigt wird.
2
9783860645482 - Walther: | Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle | Kovac | 1997
Walther

| Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle | Kovac | 1997

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 9783860645482 bzw. 386064548X, in Deutsch, Kovac, neu.

Unzuverlässige oder fehlerhafte Software in Programmen und Kommunikationsprotokollen hat immer wieder Softwarekrisen hervorgerufen. Unentdeckte Entwurfsfehler gefährden auf der Ebene der Implementierung das korrekte Verhalten von Rechensystemen und Datenverbindungen und können zu katastrophalen wirtschaftlichen Schäden oder nichttolerierbaren Risiken führen. Um dem Protokollentwickler zu helfen, vorhandene Fehler frühzeitig zu finden und zu beseitigen (Validierung) sowie die Defektfreiheit von Protokollen nachzuweisen (Verifikation), gibt es das systematische Verfahren der Erreichbarkeitsanalyse, mit dessen Hilfe schon auf der Ebene des Entwurfs alle möglichen Verhaltensweisen eines Kommunikationsprotokolls simulativ untersucht werden können. Allerdings ist dieses Verfahren für realistische und komplexe Protokolle wegen der großen Datenmengen und langen Rechenzeiten nicht ohne weiteres praktikabel einsetzbar. In diesem Buch wird die Erreichbarkeitsanalyse verfeinert. Es werden neue Modelle und Algorithmen hergeleitet, mit deren Hilfe die Datenmengen und Rechenzeiten soweit reduziert werden können, dass die Erreichbarkeitsanalyse für realistische Protokolle praktisch anwendbar wird. Diese Verfahren bilden die Grundlage für das neu entwickelte Validierungswerkzeug PROVAL (Protokoll-Validierung). Mit PROVAL ist die Validierung komplexer, realistischer Protokolle möglich, wie exemplarisch am Beispiel des OSI-Protokolls für verteilte Transaktionsverarbeitung (OSI-TP) gezeigt wird.
3
9783860645482 - Ludger Walther: Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle .
Ludger Walther

Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle . (1997)

Lieferung erfolgt aus/von: Deutschland DE PB NW FE

ISBN: 9783860645482 bzw. 386064548X, in Deutsch, 240 Seiten, Verlag Dr. Kovac, Taschenbuch, neu, Erstausgabe.

59,95 + Versand: 3,00 = 62,95
unverbindlich
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…