Introducing formal methods through role-playing
Neville Dean, Michael G. Hinchey · 1995
By acting as a client, the instructor in a formal methods course can interact with students to develop general attitudes and skills, particularly modeling skills. The students learn to appreciate that formal methods comprise a range of tools and ideas which can greatly enhance software development at all stages, especially in requirements capture. A realistic case study is used which does not depend on an over-simplified file processing system.