{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:36Z","timestamp":1725566856162},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_3","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"32-46","source":"Crossref","is-referenced-by-count":9,"title":["Motivating Study of Formal Methods in the Classroom"],"prefix":"10.1007","author":[{"given":"Joy N.","family":"Reed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane E.","family":"Sinclair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR2","unstructured":"Herranz, \u00c1., Moreno-Navarro, J.: Formal extreme (and extremely formal) programming, Available at: \n                  \n                    babel.ls.fi.upm.es\/publications\/finalcopy-xp03.pdf"},{"key":"3_CR3","unstructured":"Atelier, B.: \n                  \n                    http:\/\/www.atelierb.societe.com\/"},{"key":"3_CR4","unstructured":"Baumeister, H.: Formal methods and extreme programming. In: Workshop on Evolutionary Formal Software Development, Copenhagen, Denmark (2002), Available at: \n                  \n                    http:\/\/www.pst.informatik.uni-muenchen.de\/~baumeist\/publications\/efsd02.pdf"},{"key":"3_CR5","volume-title":"Extreme Programming Explained","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (1999)"},{"key":"3_CR6","unstructured":"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\u2013172. Kogan Page (1998)"},{"key":"3_CR7","unstructured":"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: \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003\/"},{"key":"3_CR8","unstructured":"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: \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003\/"},{"key":"3_CR9","unstructured":"Btoolkit. b-Core(UK) Ltd., \n                  \n                    http:\/\/www.b-core.com\/"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, L., Manion, L., Morrison, K.: Research Methods in Education, 5th edn. Routledge Falmer (2002)","DOI":"10.4324\/9780203224342"},{"key":"3_CR11","unstructured":"Duce, D., et al. (eds.): Teaching Formal Methods 2003., Oxford Brookes University (2003), Available at: \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003\/"},{"key":"3_CR12","unstructured":"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: \n                  \n                    http:\/\/wwwcms.brookes.ac.uk\/tfm2003\/"},{"key":"3_CR13","unstructured":"Formal methods education resources, \n                  \n                    http:\/\/www.cs.indiana.edu\/formal-methods-education\/"},{"key":"3_CR14","unstructured":"Formal Systems (Europe) Ltd. Failures Divergence Refinement. User Manual and Tutorial, Available at: \n                  \n                    http:\/\/www.formal.demon.co.uk\/fdr2manual\/index.html"},{"volume-title":"Beauty is our business: a birthday salute to Edsger W. Dijkstra","year":"1990","key":"3_CR15","unstructured":"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)"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer, Heidelberg (1981)"},{"key":"3_CR17","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"3_CR18","unstructured":"Beauty is our business, \n                  \n                    http:\/\/c2.com\/cgi\/wiki?BeautyIsOurBusiness"},{"key":"3_CR19","volume-title":"Fundamental Algorithms","author":"D.E. Knuth","year":"1969","unstructured":"Knuth, D.E.: Fundamental Algorithms, vol.\u00a02. Addison-Wesley, Reading (1969)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, Springer, Heidelberg (1996)"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"G. Lowe","year":"1998","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security\u00a06, 53\u201394 (1998)","journal-title":"Journal of Computer Security"},{"key":"3_CR22","volume-title":"Unlocking the Clubhouse: Women in Computing","author":"J. Margolis","year":"2002","unstructured":"Margolis, J., Fisher, A.: Unlocking the Clubhouse: Women in Computing. MIT Press, Cambridge (2002)"},{"key":"3_CR23","unstructured":"Race, P.: The Open Learning Handbook, 2nd edn. Kogan Page (1994)"},{"key":"3_CR24","unstructured":"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\u201357. Kogan Page (1998)"},{"key":"3_CR25","volume-title":"Cornerstones of computing","author":"S. Schneider","year":"2001","unstructured":"Schneider, S.: The B-Method: an introduction. In: Cornerstones of computing, Palgrave, Oxford (2001)"},{"key":"3_CR26","unstructured":"UCAS. UK Universities and Colleges Admissions Service, \n                  \n                    http:\/\/www.ucas.ac.uk\/"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45499-3_2","volume-title":"Algebraic Methodology and Software Technology","author":"J. Wing","year":"2000","unstructured":"Wing, J.: Weaving formal methods into the undergraduate curriculum. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, Springer, Heidelberg (2000), Available at: \n                  \n                    www.cs.utexas.edu\/users\/csed\/FM\/docs\/Wing-abstract.pdf"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:31Z","timestamp":1620014551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}