Software-Verifikation
Software übernimmt in allen Bereichen des Lebens zunehmend auch sicherheitskritische Funktionen. Deshalb sind wir sehr auf ihre Zuverlässigkeit angewiesen. Für deren Nachweis bedarf es kostengünstiger, praxistauglicher Verfahren, die in diesem Buch...
Leider schon ausverkauft
Buch
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Software-Verifikation “
Klappentext zu „Software-Verifikation “
Software übernimmt in allen Bereichen des Lebens zunehmend auch sicherheitskritische Funktionen. Deshalb sind wir sehr auf ihre Zuverlässigkeit angewiesen. Für deren Nachweis bedarf es kostengünstiger, praxistauglicher Verfahren, die in diesem Buch beschrieben werden. Als Grundlage für die Verifikation müssen die Anforderungen an die Zuverlässigkeit eines Softwaresystems oder seiner Komponenten genau definiert werden. Dies ist Thema des ersten Teils. Im zweiten Teil werden verschiedene Verfahren vorgestellt, mit denen fertiggestellte Software verifiziert wird: deterministische, probabilistische und informelle. Im dritten Teil geht der Autor auf konstruktive Prüfverfahren ein, die während des Entwicklungs-Prozesses eingesetzt werden und garantieren sollen, dass das Ergebnis den Zuverlässigkeitsanforderungen genügt. Alle Kapitel enthalten Übungsaufgaben mit Lösungen, so dass sich das Buch als Lehrwerk für Hochschulen eignet und Praktiker ihren Wissensstand überprüfen können.Autoren-Porträt von Wolfgang Ehrenberger
Prof. Dr. Wolfgang Ehrenberger unterrichtet an der FH Fulda und ist Mitglied europäischer Organisationen, die sich mit Sicherheitsfragen in der Software-Entwicklung beschäftigen.
Bibliographische Angaben
- Autor: Wolfgang Ehrenberger
- 2002, XII, 366 Seiten, mit Abbildungen, Maße: 24 cm, Kartoniert (TB), Deutsch
- Verlag: Hanser Fachbuchverlag
- ISBN-10: 3446216243
- ISBN-13: 9783446216242
Rezension zu „Software-Verifikation “
"Lesenswert!" (Design & Elektronik)
Kommentar zu "Software-Verifikation"
0 Gebrauchte Artikel zu „Software-Verifikation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Software-Verifikation".
Kommentar verfassen