Slides introducing the main concepts of Specification By Example