Lecture04-Specification AND Validation.pdf