Software Verification and Validation, Realistic Project Approaches