Abstract
One challenge to Formal Methods educators is the need to motivate students both to choose our courses and to continue studying them. In this paper we consider the question of motivation from two angles. Firstly, we provide small examples designed to overcome the “mental resistance” often found in typical students studying introductory formal methods courses. The examples illustrate advantages of a formal approach, and can be appreciated by both novice and experienced programmers. The second part of the paper considers the questions of motivation more generally and raises for debate a number of relevant issues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
Herranz, Á., Moreno-Navarro, J.: Formal extreme (and extremely formal) programming, Available at: babel.ls.fi.upm.es/publications/finalcopy-xp03.pdf
Atelier, B.: http://www.atelierb.societe.com/
Baumeister, H.: Formal methods and extreme programming. In: Workshop on Evolutionary Formal Software Development, Copenhagen, Denmark (2002), Available at: http://www.pst.informatik.uni-muenchen.de/~baumeist/publications/efsd02.pdf
Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (1999)
Bleakley, A.: Learning as an aesthetic practice: motivation through beauty in Higher Education. In: Brown, S., Armstrong, S., Thompson, G. (eds.) Motivating Students. Staff and Educational Development Series, pp. 165–172. Kogan Page (1998)
Boerger, E.: Teaching ASMs to practice-oriented students with limited mathematical background. In: Duce, D., et al. (eds.) Teaching Formal Methods 2003, Oxford Brookes University (2003), Available at: http://wwwcms.brookes.ac.uk/tfm2003/
Boute, R.: Can lightweight formal methods carry the weight? In: Duce, D., et al. (eds.) Teaching Formal Methods 2003, Oxford Brookes University (2003), Available at: http://wwwcms.brookes.ac.uk/tfm2003/
Btoolkit. b-Core(UK) Ltd., http://www.b-core.com/
Cohen, L., Manion, L., Morrison, K.: Research Methods in Education, 5th edn. Routledge Falmer (2002)
Duce, D., et al. (eds.): Teaching Formal Methods 2003., Oxford Brookes University (2003), Available at: http://wwwcms.brookes.ac.uk/tfm2003/
Finney, K.: Hello class - let me introduce you to Mr. Six. In: Duce, D., et al. (eds.) Teaching Formal Methods 2003, Oxford Brookes University (2003), Available at: http://wwwcms.brookes.ac.uk/tfm2003/
Formal methods education resources, http://www.cs.indiana.edu/formal-methods-education/
Formal Systems (Europe) Ltd. Failures Divergence Refinement. User Manual and Tutorial, Available at: http://www.formal.demon.co.uk/fdr2manual/index.html
Feijen, W.H.J., van Gasteren, A.G.M., Gries, D., Misra, J. (eds.): Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer, Heidelberg (1990)
Gries, D.: The Science of Programming. Springer, Heidelberg (1981)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Beauty is our business, http://c2.com/cgi/wiki?BeautyIsOurBusiness
Knuth, D.E.: Fundamental Algorithms, vol. 2. Addison-Wesley, Reading (1969)
Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, Springer, Heidelberg (1996)
Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security 6, 53–94 (1998)
Margolis, J., Fisher, A.: Unlocking the Clubhouse: Women in Computing. MIT Press, Cambridge (2002)
Race, P.: The Open Learning Handbook, 2nd edn. Kogan Page (1994)
Race, P.: Teaching: creating a thirst for learning? In: Brown, S., Armstrong, S., Thompson, G. (eds.) Motivating Students. Staff and Educational Development Series, pp. 47–57. Kogan Page (1998)
Schneider, S.: The B-Method: an introduction. In: Cornerstones of computing, Palgrave, Oxford (2001)
UCAS. UK Universities and Colleges Admissions Service, http://www.ucas.ac.uk/
Wing, J.: Weaving formal methods into the undergraduate curriculum. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, Springer, Heidelberg (2000), Available at: www.cs.utexas.edu/users/csed/FM/docs/Wing-abstract.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reed, J.N., Sinclair, J.E. (2004). Motivating Study of Formal Methods in the Classroom. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-30472-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23611-5
Online ISBN: 978-3-540-30472-2
eBook Packages: Springer Book Archive