Functional specification a case study door Astrid Joosten