Verification, Validation And Testing in Software Engineering - Rilegato

 
9781591408512: Verification, Validation And Testing in Software Engineering
Rilegato
ISBN 10: 1591408512 ISBN 13: 9781591408512
Casa editrice: Igi Global, 2006

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Aristides Dasso

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Igi Global
Data di pubblicazione
2006
Lingua
Inglese
ISBN 10 
1591408512
ISBN 13 
9781591408512
Rilegatura
Copertina rigida
Numero di pagine
428
Redattore
Dasso Aristides, Funes Ana
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania

Altre edizioni note dello stesso titolo

9781591408529: Verification, Validation And Testing in Software Engineering

Edizione in evidenza

ISBN 10:  1591408520 ISBN 13:  9781591408529
Casa editrice: Igi Global, 2006
Brossura