Verification, Validation And Testing in Software Engineering - Couverture rigide

 
9781591408512: Verification, Validation And Testing in Software Engineering
Couverture rigide
ISBN 10 : 1591408512 ISBN 13 : 9781591408512
Editeur : IGI Publishing, 2006

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
IGI Publishing
Date d'édition
2006
Langue
anglais
ISBN 10 
1591408512
ISBN 13 
9781591408512
Reliure
Relié
Nombre de pages
444
Éditeur
Dasso Aristides, Funes Ana
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781591408529: Verification, Validation And Testing in Software Engineering

Edition présentée

ISBN 10 :  1591408520 ISBN 13 :  9781591408529
Editeur : IGI Publishing, 2006
Couverture souple