Software Verification and Validation

Bucheinband-Typ:

Hardcover

Unterstützte Sprachen:

Englisch

Geschrieben von:

Marcus S. Fisher

Typ:

Papierbuch

Anzahl der Seiten:

172 Seiten

Illustrator:

20 b/w illustrations

Veröffentlicher:

Springer New York, NY

Freigabedatum (TT/MM/JJ):

27/11/2006

Editionstyp:

Erste Ausgabe

International Standard Book Number (ISBN):

9780387327259

Nicht nur die US-Regierung legt heute mehr Wert auf Softwaresicherheit, sondern auch die Privatwirtschaft und die Wissenschaft. Die Methoden und Techniken, die dieses Vertrauen schaffen, werden gemeinhin als Softwareverifizierung und -validierung bezeichnet. Das Fachbuch „Software Verification and Validation: An Engineering and Scientific Approach” (Softwareverifizierung und -validierung: Ein ingenieurwissenschaftlicher Ansatz) füllt die dringende Lücke nach einem fundierten technischen Nachschlagewerk, das Methoden und Techniken zur Schaffung und Aufrechterhaltung von Vertrauen in viele verschiedene Arten von Systemsoftware beschreibt. Das Ziel dieses Bandes ist es, zuverlässige Antworten auf wichtige Fragen zu finden, wie zum Beispiel: 1) Entwickeln wir die richtige Software für den Bedarf? 2) Entwickeln wir die Software richtig? „Software Verification and Validation: An Engineering and Scientific Approach” richtet sich an Forscher und Praktiker in der Industrie.

Software Verification and Validation von Fisher, Marcus S.