Artículos relacionados a Verification, Validation and Testing in Software Engineering

Verification, Validation and Testing in Software Engineering - Tapa blanda

 
9781591408529: Verification, Validation and Testing in Software Engineering

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialIGI Publishing
  • Año de publicación2006
  • ISBN 10 1591408520
  • ISBN 13 9781591408529
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas300
  • EditorDasso Aristides, Funes Ana
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9781591408512: Verification, Validation and Testing in Software Engineering

Edición Destacada

ISBN 10:  1591408512 ISBN 13:  9781591408512
Editorial: Idea Group Publishing, 2006
Tapa dura