Verification, Validation And Testing in Software Engineering - Couverture rigide

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.

Détails de l'édition

• É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: GPSR Kontakt; gpsr@libri.de; ; Europaallee 1; Bad Hersfeld; 36244; Allemagne