Dasso, Aristides (contributor); Funes, Ana (contributor) - 2007
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...