Verification, Validation and Testing in Software Engineering (Hardcover)

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.

General

Imprint:	Igi Publishing
Country of origin:	United States
Release date:	July 2006
First published:	July 2006
Dimensions:	254 x 178 x 25mm (L x W x T)
Format:	Hardcover
Pages:	444
ISBN-13:	978-1-59140-851-2
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	1-59140-851-2
Barcode:	9781591408512

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!