Verification and Validation - Ian Sommerville
Verification and Validation - Ian Sommerville
Verification and Validation - Ian Sommerville
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Arguments against formal methods●●●Require specialised notations that cannot beunderstood by domain experts.Very expensive to develop a specification<strong>and</strong> even more expensive to show that aprogram meets that specification.It may be possible to reach the same level ofconfidence in a program more cheaply usingother V & V techniques.©<strong>Ian</strong> <strong>Sommerville</strong> 2004 Software Engineering, 7th edition. Chapter 22 Slide 38