Ebook: Zuverlässigkeit und Verantwortung: Die Ausfallsicherheit von Programmen

Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universität Karlsruhe (TH).

---

Inhalt
Inhalt: Grundbegriffe der Zuverl?ssigkeit - Vermeidung von Spezifikationsfehlern - Vermeidung von Entwurfs- und Implementierungsfehlern - Problematik und Leistungen von Programmbeweisen und von Programmtests - Schwierigkeiten statistischer Zuverl?ssigkeitsuntersuchungen von Programmen - Softwareredundanzverfahren - Verantwortungsprinzip.

Zielgruppe
1. Software-Ingenieure 2. an Bedingungen und Auswirkungen des Einsatzes von Technik Interessierte

?ber den Autor/Hrsg
Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik f?r Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universit?t Karlsruhe (TH).

---

Inhalt
Inhalt: Grundbegriffe der Zuverl?ssigkeit - Vermeidung von Spezifikationsfehlern - Vermeidung von Entwurfs- und Implementierungsfehlern - Problematik und Leistungen von Programmbeweisen und von Programmtests - Schwierigkeiten statistischer Zuverl?ssigkeitsuntersuchungen von Programmen - Softwareredundanzverfahren - Verantwortungsprinzip.

Zielgruppe
1. Software-Ingenieure 2. an Bedingungen und Auswirkungen des Einsatzes von Technik Interessierte

?ber den Autor/Hrsg
Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik f?r Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universit?t Karlsruhe (TH).
Content:
Front Matter....Pages i-vii
Vorwort....Pages 1-1
Front Matter....Pages 3-3
Zum Umfeld der Sicherheitstechnik....Pages 5-26
Grundbegriffe....Pages 27-73
Front Matter....Pages 75-75
Vermeidung von Spezifikationsfehlern....Pages 77-91
Vermeidung von Entwurfs- und Implementierungsfehlern....Pages 93-120
Beweise....Pages 121-137
Tests....Pages 139-158
Statistische Zuverl?ssigkeits-untersuchungen....Pages 159-175
Redundanz....Pages 177-206
Front Matter....Pages 207-207
Fazit....Pages 209-212
Back Matter....Pages 213-232

---

Inhalt
Inhalt: Grundbegriffe der Zuverl?ssigkeit - Vermeidung von Spezifikationsfehlern - Vermeidung von Entwurfs- und Implementierungsfehlern - Problematik und Leistungen von Programmbeweisen und von Programmtests - Schwierigkeiten statistischer Zuverl?ssigkeitsuntersuchungen von Programmen - Softwareredundanzverfahren - Verantwortungsprinzip.

Zielgruppe
1. Software-Ingenieure 2. an Bedingungen und Auswirkungen des Einsatzes von Technik Interessierte

?ber den Autor/Hrsg
Dr. Heinrich Rust ist wissenschaftlicher Mitarbeiter am Lehrstuhl Informatik f?r Ingenieure und Naturwissenschaftler von Professor Vollmar an der Universit?t Karlsruhe (TH).
Content:
Front Matter....Pages i-vii
Vorwort....Pages 1-1
Front Matter....Pages 3-3
Zum Umfeld der Sicherheitstechnik....Pages 5-26
Grundbegriffe....Pages 27-73
Front Matter....Pages 75-75
Vermeidung von Spezifikationsfehlern....Pages 77-91
Vermeidung von Entwurfs- und Implementierungsfehlern....Pages 93-120
Beweise....Pages 121-137
Tests....Pages 139-158
Statistische Zuverl?ssigkeits-untersuchungen....Pages 159-175
Redundanz....Pages 177-206
Front Matter....Pages 207-207
Fazit....Pages 209-212
Back Matter....Pages 213-232
....