Verification, Validation and Testing in Software Engineering - Hardcover

 
9781591408512: Verification, Validation and Testing in Software Engineering
Hardcover
ISBN 10: 1591408512 ISBN 13: 9781591408512
Verlag: Idea Group Publishing, 2006

Inhaltsangabe

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification - traditional in formal methods - has been joined by model checking and other techniques. ""Verification, Validation and Testing in Software Engineering"" offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development - including real-time applications - where V&V techniques are required.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification - traditional in formal methods - has been joined by model checking and other techniques. ""Verification, Validation and Testing in Software Engineering"" offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development - including real-time applications - where V&V techniques are required.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Idea Group Publishing
Erscheinungsdatum
2006
Sprache
Englisch
ISBN 10 
1591408512
ISBN 13 
9781591408512
Einband
Tapa dura
Anzahl der Seiten
444
Herausgeber
Funes Ana, Dasso Aristides
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781591408529: Verification, Validation And Testing in Software Engineering

Vorgestellte Ausgabe

ISBN 10:  1591408520 ISBN 13:  9781591408529
Verlag: IGI Publishing, 2006
Softcover