Zuverlassigkeit und Verantwortung

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

Die aktuelle Frage nach der Zuverlassigkeit von programmgestutzten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, moglichst prazise Anworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der Informatik fur diesen Zweck entwickelt und vorgeschlagen werden. Im Verlaufe der Untersuchung, die von Spezifikationen und Beweisen uber Programmtests zur Bewertung verschiedener auf Statistik basierender Verfahren fortschreitet, wird die These erhartet, dass das menschliche Verstandnis und damit die Moglichkeit zu individueller Ubernahme von Verantwortung das Erfolgskriterium solcher Verfahren ist, und zwar sowohl aus theoretischen wie aus praktischen Grunden.