{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:41:23Z","timestamp":1725540083544},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049118"},{"type":"electronic","value":"9783642049125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04912-5_6","type":"book-chapter","created":{"date-parts":[[2009,10,26]],"date-time":"2009-10-26T11:04:31Z","timestamp":1256555071000},"page":"72-91","source":"Crossref","is-referenced-by-count":5,"title":["Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z"],"prefix":"10.1007","author":[{"given":"Sureyya","family":"Tarkan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vibha","family":"Sazawal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Alloy Analyzer 4, http:\/\/alloy.mit.edu\/alloy4\/ (2009-07-15)"},{"key":"6_CR2","unstructured":"Alloy FAQ, http:\/\/alloy.mit.edu\/faq.php (2009-07-15)"},{"key":"6_CR3","first-page":"59","volume-title":"Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education","author":"H. Brakman","year":"2006","unstructured":"Brakman, H., Driessen, V., Kavuma, J., Bijvank, L.N., Vermolen, S.: Supporting Formal Method Teaching with Real-Life Protocols. In: Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education, pp. 59\u201368. McMaster University, Canada (2006)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Broda, K., Ma, J., Sinnadurai, G., Summers, A.: Friendly e-tutor for Natural Deduction. In: TFM: Practice and Experience. BCS-FACS, London (2006)","DOI":"10.14236\/ewic\/TFM2006.2"},{"key":"6_CR5","unstructured":"Dean, N.: Development of an Interactive Case e-Study. In: TFM: Practice and Experience Workshop, pp. 13\u201320. BCS-FACS, Oxford Brookes University (2003)"},{"issue":"1","key":"6_CR6","first-page":"291","volume":"20","author":"R. deBry","year":"2004","unstructured":"deBry, R.: Learning exercises for the rest of the brain. J. Comput. Small Coll.\u00a020(1), 291\u2013296 (2004)","journal-title":"J. Comput. Small Coll."},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-30472-2_8","volume-title":"Teaching Formal Methods","author":"R. Duke","year":"2004","unstructured":"Duke, R., Miller, T., Strooper, P.: Integrating Formal Specification and Software Verification and Validation. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 124\u2013139. Springer, Heidelberg (2004)"},{"key":"6_CR8","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"6_CR9","volume-title":"The way of Z: Practical programming with formal methods","author":"J. Jonathan","year":"1996","unstructured":"Jonathan, J.: The way of Z: Practical programming with formal methods. Cambridge University Press, NY (1996)"},{"key":"6_CR10","volume-title":"Experiential learning: Experience as the source of learning and development","author":"D.A. Kolb","year":"1984","unstructured":"Kolb, D.A.: Experiential learning: Experience as the source of learning and development. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"6_CR11","unstructured":"Larsen, P.G.: Two courses on VDM++ for Embedded Systems: Learning by Doing. In: Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education, Canada, pp. 21\u201326 (2006)"},{"key":"6_CR12","unstructured":"Lightfoot, D.: Voici les votes! \u2013 formal specification as light entertainment: An example of audience participation in developing a specification. In: TFM: Practice and Experience Workshop, pp. 71\u201375. BCS-FACS, Oxford Brookes U. (2003)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/978-3-540-30472-2_14","volume-title":"Teaching Formal Methods","author":"D. Mandrioli","year":"2004","unstructured":"Mandrioli, D.: Advertising Formal Methods and Organizing Their Teaching: Yes, but... In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 214\u2013224. Springer, Heidelberg (2004)"},{"key":"6_CR14","unstructured":"Martin, J.M.: Teaching Formal Methods: An Industrial Perspective. In: TFM: Practice and Experience Workshop, pp. 35\u201339. BCS-FACS, Oxford Brookes U. (2003)"},{"key":"6_CR15","unstructured":"Montessori, M.: The Montessori Method, Schocken (1988)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-3-540-30472-2_9","volume-title":"Teaching Formal Methods","author":"P. Pepper","year":"2004","unstructured":"Pepper, P.: Distributed Teaching of Formal Methods. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 140\u2013152. Springer, Heidelberg (2004)"},{"key":"6_CR17","volume-title":"Mathematical Epistemology and Psychology.","author":"J. Piaget","year":"1966","unstructured":"Piaget, J., Mays, W., Beth, E.W.: Mathematical Epistemology and Psychology. D. Reidel Publishing Company, Dordrecht-Netherlands (1966)"},{"key":"6_CR18","volume-title":"Psychogenesis and the History of Sciences","author":"J. Piaget","year":"1980","unstructured":"Piaget, J., Garcia, R.: Psychogenesis and the History of Sciences. Columbia University Press, New York (1980)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-540-30472-2_3","volume-title":"Teaching Formal Methods","author":"J.N. Reed","year":"2004","unstructured":"Reed, J.N., Sinclair, J.E.: Motivating Study of Formal Methods in the Classroom. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 32\u201346. Springer, Heidelberg (2004)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-30472-2_2","volume-title":"Teaching Formal Methods","author":"S. Rosa","year":"2004","unstructured":"Rosa, S.: Designing Algorithms in High School Mathematics. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 17\u201331. Springer, Heidelberg (2004)"},{"key":"6_CR21","unstructured":"Rudall, J.: From Z to SPIN in One Module. In: TFM: Practice and Experience Workshop, pp. 71\u201375. BCS-FACS, Oxford Brookes U. (2003)"},{"key":"6_CR22","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall International, UK (1992)","edition":"2"},{"key":"6_CR23","unstructured":"Tarkan, S.: The Formal Specification of a Kitchen Environment. Master\u2019s scholarly paper, University of Maryland (2009)"},{"key":"6_CR24","unstructured":"TEX to HTML translator, http:\/\/hutchinson.belmont.ma.us\/tth\/ (2009-07-15)"},{"key":"6_CR25","unstructured":"The Promela Language, http:\/\/en.wikipedia.org\/wiki\/Promela (2009-07-15)"},{"key":"6_CR26","unstructured":"The SPIN Model Checker, http:\/\/spinroot.com\/ (2009-07-15)"},{"key":"6_CR27","volume-title":"Using Z: specification, refinement, and proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: specification, refinement, and proof. Prentice-Hall, Upper Saddle River (1996)"},{"key":"6_CR28","unstructured":"Z to Alloy Tutorial, http:\/\/ztoalloy.cs.umd.edu\/ (2009-07-15)"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04912-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:26Z","timestamp":1606185926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04912-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049118","9783642049125"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04912-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}