Abstract is missing.
- Formale Methoden zur Erstellung robuster SoftwareEike Best. 1-9
- Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven ProgrammentwicklungBleicke Eggers. 10-23
- Ein Schritt in Richtung auf Fail-Safe SoftwareWolfgang D. Ehrenberger, Manfred Masur. 24-38
- Aspekte der Konstruktion robuster SoftwareStefan Jähnichen, K. Kleine, Guido Persch. 39-50
- Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und ListenKlaus Küspert. 51-62
- Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTOThomas Risse, Mario Dal Cin, Elmar Dilger. 63-72
- Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für verteilte SystemeKlaus Echtle. 73-88
- Error Recovery in eienr verteilten SystemarchitekturEdgar Nett, Reinhold Kröger. 89-98
- Reliable Remote Procedure CallsSantosh K. Shrivastava. 99-104
- Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur AusnahmebehandlungAndreas Pfitzmann. 105-117
- Implementierte Checkpoint/Restart Fehlertoleranztechnik in der PraxisSilvia Pfleger. 118-132
- Experimente mit N-Version Programming auf dem DIRMU MultiprozessorsystemErik Maehle, Klaus Moritzen, Klaus Wirl. 133-142
- Votierung in PDV-Systemen mit diversitärer RedundanzGeorg Pauthner. 143-154
- Der Einsatz von Software-Diversität in Systemen mit hohen ZuverlässigkeitsanforderungenUdo Voges. 155-165
- CPS 32, ein neues Compupter-Konzept für Fehelrtoleranz und ErweiterbarkeitKlaus Borel. 166-169
- VISO-DATA - Fehlertoleranter SystemverbundPaul Dorfmeister. 170-179
- Das fehlertolerante Informationssystem 8832 - Das FehlertoleranzkonzeptFerdinand Herrmann. 180-188
- Das fehlertolerante System TANDEM T16Alfred Schulz. 189-200
- Recovery-Verfahren bei UDS ab Version V4.Ø, dargestellt anhand ausgewählter ProblemfälleBenno Steger. 201-213
- Rechnerarchitekturen zur Unterstützung korrekter und transparenter ProgrammierungKarl-Erwin Großpietsch. 214-225
- Die Fehlertoleranzeigenschaften der PuffermaschineK. von der Heide. 226-243
- Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein ErfahrungsberichtAxel Stöhr. 244-252
- Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-ZuverlässigkeitFevzi Belli. 253-267
- Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante ProzeßrechnersystemeUlrich Kammerer. 268-280
- Beurteilung von Verfahren zur Tolerierung von SoftwarefehlernRudolf Lauber, S. Zhou. 281-292
- Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?Manfred H. Seifert. 293-297