Verification, Validation and Testing in Software Engineering

Aristides Dasso (u. a.)

ISBN 10: 1591408512 / ISBN 13: 9781591408512

Editore: Idea Group Publishing, 2006

Verification, Validation and Testing in Software Engineering | Aristides Dasso (u. a.) | Buch | Gebunden | Englisch | 2006 | Idea Group Publishing | EAN 9781591408512 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Codice articolo 102204383

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

Dati bibliografici

Titolo: Verification, Validation and Testing in ...
Casa editrice: Idea Group Publishing
Data di pubblicazione: 2006
Legatura: Buch
Condizione: Neu