Software-Fehlertoleranz und -Zuverlässigkeit: Informatik-Fachberichte, cartea 83
Editat de F. Belli, S. Pfleger, M. Seifertde Limba Germană Paperback – sep 1984
Din seria Informatik-Fachberichte
- 20% Preț: 407.42 lei
- 20% Preț: 414.19 lei
- 20% Preț: 406.29 lei
- 20% Preț: 350.52 lei
- 20% Preț: 412.91 lei
- 20% Preț: 409.34 lei
- 20% Preț: 358.74 lei
- 20% Preț: 413.40 lei
- 20% Preț: 355.22 lei
- 20% Preț: 405.64 lei
- 20% Preț: 418.26 lei
- 20% Preț: 412.26 lei
- 20% Preț: 409.03 lei
- 20% Preț: 409.21 lei
- 20% Preț: 417.43 lei
- 20% Preț: 406.14 lei
- 20% Preț: 425.84 lei
- 20% Preț: 421.64 lei
- 20% Preț: 420.02 lei
- 20% Preț: 347.46 lei
- 20% Preț: 329.91 lei
- 20% Preț: 349.41 lei
- 20% Preț: 634.50 lei
- 20% Preț: 356.64 lei
- 20% Preț: 349.06 lei
- 20% Preț: 417.93 lei
- 20% Preț: 410.98 lei
- 20% Preț: 412.26 lei
- 20% Preț: 643.88 lei
- 20% Preț: 409.85 lei
- 20% Preț: 409.98 lei
- 20% Preț: 352.12 lei
- 20% Preț: 407.42 lei
- 20% Preț: 407.24 lei
- 20% Preț: 412.08 lei
- 20% Preț: 422.59 lei
- 20% Preț: 406.92 lei
- 20% Preț: 405.32 lei
- 20% Preț: 334.94 lei
- 20% Preț: 351.02 lei
- 20% Preț: 403.86 lei
- 20% Preț: 407.24 lei
- 20% Preț: 405.95 lei
- 20% Preț: 410.49 lei
- 20% Preț: 630.62 lei
- 20% Preț: 406.14 lei
- 20% Preț: 403.86 lei
- 20% Preț: 348.59 lei
- 20% Preț: 415.33 lei
- 20% Preț: 414.69 lei
Preț: 412.26 lei
Preț vechi: 515.33 lei
-20% Nou
Puncte Express: 618
Preț estimativ în valută:
78.90€ • 81.95$ • 65.54£
78.90€ • 81.95$ • 65.54£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540133834
ISBN-10: 3540133836
Pagini: 312
Ilustrații: VIII, 298 S.
Dimensiuni: 170 x 244 x 16 mm
Greutate: 0.5 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540133836
Pagini: 312
Ilustrații: VIII, 298 S.
Dimensiuni: 170 x 244 x 16 mm
Greutate: 0.5 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Methodik.- Formale Methoden zur Erstellung robuster Software.- Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung.- Ein Schritt in Richtung auf Fail-Safe Software.- Konstruktive Aspekte.- Aspekte der Konstruktion robuster Software.- Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen.- Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO.- Verteilte Systeme.- Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme.- Error Recovery in einer verteilten Systemarchitektur.- Reliable Remote Procedure Calls.- Wiederaufsetztechniken.- Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung.- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis.- Diversität und Votieren.- Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem.- Votierung in PDV-Systemen mit diversitärer Redundanz.- Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen.- Existierende Systeme.- CPS 32, ein neues Computer-Konzept für Fehlertoleranz und Erweiterbarkeit.- VISO-DATA - Fehlertoleranter Systemverbund.- Das fehlertolerante Informationssystem 8832 - Das Fehlertoleranzkonzept.- Das fehlertolerante System TANDEM T16.- Recovery-Verfahren bei UDS ab Version V4.0, dargestellt anhand ausgewählter Problemfälle.- Rechnerunterstützung.- Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung.- Die Fehlertoleranzeigenschaften der Puffermaschine.- Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein Erfahrungsbericht.- Bewertung.- Ein Bündelheuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit.- Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme.- Beurteilung von Verfahren zur Tolerierung von Softwarefehlern.- Abschlußdiskussion.- Formale Methoden oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?.