Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle .
3 Angebote vergleichen
Bester Preis: € 59,95 (vom 28.10.2016)1
Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle (1997)
DE PB NW FE
ISBN: 9783860645482 bzw. 386064548X, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.
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.
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
| Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle | Kovac | 1997
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
Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle . (1997)
DE PB NW FE
ISBN: 9783860645482 bzw. 386064548X, in Deutsch, 240 Seiten, Verlag Dr. Kovac, Taschenbuch, neu, Erstausgabe.
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
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…