• Published by Information Science Reference

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.

• Published/Released: November 2006
• Original Copyright: 2007
• ISBN 13: 9781591408536
• ISBN 10: 1591408539
• Product number: 231388
• Shipping Weight: 1.00 lbs (0.45 kgs)

Price: Sign In for price

Pricing for eBooks depends upon your account type and population served. Accurate pricing information will only be displayed once you are a registered user. Please Register Now. You will receive an e-mail when your registration has been processed. Once you are registered, you will be able to select eBook titles; place them in your shopping cart; and receive accurate pricing information. If you do not wish to register, please call your Sales Representative at 1-800-877-4253 or e-mail gale.galeord@cengage.com