Specification by Example, by Tim Dekker (Test Designer for Sioux Embedded Systems)

The first Lunch Lecture of this year is finally there! A 'lunch lecture' is an event during lunchtime, where a speaker from an interesting company tells about his discipline, his company and about what he does. During this lecture, lunch is provided free by GEWIS! All you have to do to get lunch, is to subscribe.

This Lunch Lecture is given by Tim Dekker, Test Designer at Sioux Embedded Systems. The subject is "Specification by Example". A description follows here:
Are you fed up with those long, abstract and boring system specification documents? Are you longing for a more fun and agile way of creating a specification? This lunch lecture will introduce you to a world of more lightweight and concrete specs, smart tooling to help you create them and automatically verify that your implementation adheres to it. Use 'specification by example' and have your implementation being verified while you sleep!