ABSTRACT
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.
- 1.Bottaci, L. & Jones, J.: Formal Specification Using Z A Modelling Approach, International Thomson Publishing, 1995.Google Scholar
- 2.Bowen, J.P. & Hinchey, M.G.: Seven More Myths of Formal Methods, Technical Report PRG-TR-7-94, Programming Research Group, Oxford University Computing Laboratory, June 1994. Revised version to appear in IEEE Software; also appears in a shortened form in {12}, pp 105-117. Google Scholar
- 3.Dean, C.N.: The Essence of Discrete Mathematics, Prentice Hall Essence of Computing Series, 1996 Google Scholar
Digital Library
- 4.Dehbonei, B. & Mejia, E: Formal Development of Safety-Critical Software Systems in Railway Signalling, In {8}.Google Scholar
- 5.Dehbonei, B. & Mejia, E: Formal Methods in the Railway Signalling Industry, In { 12}, pp 26-34. Google Scholar
Digital Library
- 6.Garlan, D.: Integrating Formal Methods into a Professional Master of Software Engineering Course, In Bowen, J.R & Hall, J.A. (editors) Z User Workshop, Cambridge, 1994, Proceedings of the 8th Z User Meeting, 29-30 June 1994, Cambridge, UK, Springer-Verlag Workshops in Computing, 1994, pp 71-85.Google Scholar
- 7.Hall, J.A.: Seven Myths of Formal Methods, IEEE Software, 7(5):11-19, September 1990. Google Scholar
Digital Library
- 8.Hinchey, M.G. & Bowen, J.R (editors): Applications of Formal Methods, Prentice Hall International Series in Computer Science, 1995. Google Scholar
Digital Library
- 9.Hinchey, M.G. & Jarvis, S.A.: The Essence of Z, Prentice Hall Essence of Computing Series, 1996Google Scholar
- 10.King, T." Formalising British Rail's Signalling Rules,Google Scholar
- 11.Hansen, K.M.: Validation of a Railway Interlocking Model, In {12}, pp 582-601. Google Scholar
Digital Library
- 12.Naftalin, M., Denvir, T. & Bertran, M, (editors): Industrial Benefits of Formal Methods, Proceedings of FME'94, Springer-Verlag LNCS 873, 1994. Google Scholar
Digital Library
- 13.Nicholls, J. et al.: The ZStandard-- Version 1.0 Available from [email protected], ox. ac. uk.Google Scholar
- 14.Plat, N., Durr, E.H. & de Boer, M.: CombiCom. Tracking and Tracing Rail Traffic using VDM++, In {8}.Google Scholar
- 15.Simpson, A.: A Formal Specification of an Automatic Train Protection System, In {12}, pp 602-617. Google Scholar
Digital Library
- 16.Young, W.D.: Modeling and Verification of a Simple Real-Time Railroad Gate Controller, In {8}.Google Scholar
Index Terms
Introducing formal methods through role-playing
Recommendations
Introducing formal methods through role-playing
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 ...
Design of agent tutee's question prompts to engage student's role-playing as tutor in a learning-by-teaching agent environment
ICLS'08: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 2A learning-by-teaching environment can be used to create a context in which the student can play the role of tutor teaching the agent tutee. Without meaningful feedback from the agent, there is no reason to expect much student's engagement with the ...
Learning IS Child’s Play: Game-Based Learning in Computer Science Education
Game-based learning has received significant attention in educational pedagogy as an effective way of increasing student motivation and engagement. The majority of the work in this area has been focused on digital games or games involving technology. We ...







Comments