Verification, Validation and Testing in Software Engineering
ISBN 10: 1591408512 ISBN 13: 9781591408512
Editore: IGI Global, 2006
Nuovi
Hardback
Da
THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 14 giugno 2006
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9781591408512
Riassunto:
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.
Product Description: Book by Aristides Dasso
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Verification, Validation and Testing in ...
Casa editrice: IGI Global
Data di pubblicazione: 2006
Legatura: Hardback
Condizione: New