Functional specification a case study by Astrid Joosten