From Wiki
Jump to navigationJump to search


  • Validation means checking the requirement documents to make sure the right system is built.
  • Hard because there are no other formal documents to check the system against !
  • Techniques are used such as informal techniques such as reviews, inspections, prototyping to formal techniques such as formal methods.