Notes from the workshop

What we specify, why, and what tends to go wrong.