{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:07Z","timestamp":1740548047984,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_12","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"185-202","source":"Crossref","is-referenced-by-count":8,"title":["Teaching Formal Methods in Context"],"prefix":"10.1007","author":[{"given":"Jim","family":"Davies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Simpson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings (1996)","DOI":"10.1017\/CBO9780511624162"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/571922.571962","volume":"33","author":"V.L. Almstrum","year":"2001","unstructured":"Almstrum, V.L., Dean, C.N., Goelman, D., Hiburn, T.B., Smith, J.: Support for teaching formal methods. ACM SIGCSE Bulletin\u00a033(2), 71\u201388 (2001)","journal-title":"ACM SIGCSE Bulletin"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated Formal Methods","author":"T. Ball","year":"2004","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, Springer, Heidelberg (2004)"},{"key":"12_CR4","volume-title":"Object-Oriented Systems Analysis and Design","author":"S. Bennett","year":"1999","unstructured":"Bennett, S., McRobb, S., Farmer, R.: Object-Oriented Systems Analysis and Design. McGraw-Hill, New York (1999)"},{"key":"12_CR5","volume-title":"System Engineering Management","author":"B.S. Blanchard","year":"1998","unstructured":"Blanchard, B.S.: System Engineering Management. Wiley, Chichester (1998)"},{"key":"12_CR6","unstructured":"Boute, R.: Can lightweight formal methods carry the weight? In: Proceedings of Teaching Formal Methods 2003, pp. 47\u201355 (2003)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Cavarra, A., Crichton, C., Davies, J.: A method for the automatic generation of test suites from object models. Information and Software Technology\u00a046 (2004)","DOI":"10.1016\/j.infsof.2003.09.004"},{"key":"12_CR8","unstructured":"de Barros, R.S.M.: On the Formal Specification and Derivation of Relational Database Applications. PhD thesis, Department of Computing Science, The University of Glasgow (1994)"},{"key":"12_CR9","unstructured":"Dean, C.N., Hinchey, M.G. (eds.): Teaching and learning formal methods. Academic Press International Series in Formal Methods (1996)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"DeRemer, F., Kron, H.: Programming-in-the-Large versus Programming-in-the-Small. In: International Conference on Reliable Software. SIGPLAN Notices, vol.\u00a010 (1975)","DOI":"10.1145\/800027.808431"},{"key":"12_CR11","unstructured":"Duce, D.A.: Proceedings of Teaching Formal Methods 2003. BCS (2003)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-60271-2_111","volume-title":"ZUM \u201995: The Z Formal Specification Notation","author":"D. Edmond","year":"1995","unstructured":"Edmond, D.: Refining database systems. In: Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol.\u00a0967, pp. 25\u201344. Springer, Heidelberg (1995)"},{"key":"12_CR13","unstructured":"Formal Methods Educational Site, www.cs.indiana.edu\/formal-methods-education\/"},{"key":"12_CR14","volume-title":"UML Distilled: A Brief Guide to the Standard Object Modeling Language","author":"M. Fowler","year":"2003","unstructured":"Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd edn. September 19, Addison-Wesley, Reading (2003)","edition":"3"},{"key":"12_CR15","unstructured":"Habrias, H.: Investigation into the teaching of B worldwide (2003), http:\/\/www.iut-nantes.univnantes.fr\/habrias\/coursb\/questionnaireEnglish.html"},{"key":"12_CR16","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"12_CR17","unstructured":"IEEE Computer Society. The SoftWare Engineering Body of Knowledge (2004), www.swebok.org"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Kelemen, C., Tucker, A., Henderson, P., Bruce, K., Astrachan, O.: Has our curriculum become math-phobic (an American perspective). In: Proceedings of the 5th Annual SIGSCE\/SIGCUE Conference on Innovation and Technology in Computer Science Education, July 2000, pp. 132\u2013135 (2000)","DOI":"10.1145\/343048.343143"},{"key":"12_CR19","volume-title":"MDA Explained: The Model Driven Architecture(TM): Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture(TM): Practice and Promise, 1st edn. Addison-Wesley, Reading (2003)","edition":"1"},{"issue":"5","key":"12_CR20","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.841783","volume":"33","author":"T.C. Lethbridge","year":"2000","unstructured":"Lethbridge, T.C.: What knowledge is important to a software professional? IEEE Computer\u00a033(5), 44\u201350 (2000)","journal-title":"IEEE Computer"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Martin, A.P., Simpson, A.C.: Generalizing the Z Schema Calculus: Database Schemas and Beyond. In: Proceedings of APSEC (Asia-Pacific Software Engineering Conference) 2003, pp. 28\u201337 (2003)","DOI":"10.1109\/APSEC.2003.1254355"},{"key":"12_CR22","unstructured":"Naur, P., Randall, B.: Software Engineering: A Report on a Conference Sponsored by the NATO Science Committee (1969)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Page, R.L.: Software is discrete mathematics. In: Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming, pp. 79\u201386 (2003)","DOI":"10.1145\/944705.944713"},{"key":"12_CR24","unstructured":"The Apache Maven Project. Maven (2004)"},{"key":"12_CR25","unstructured":"Simpson, A.C., Martin, A.P.: Supplementing the understanding of Z: a formal approach to database design. In: Proceedings of Teaching Formal Methods 2003, pp. 65\u201370 (2003)"},{"key":"12_CR26","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"12_CR27","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, Englewood Cliffs (1992)","edition":"2"},{"key":"12_CR28","unstructured":"Stiles, D.: Informal formal methods in a computer engineering curriculum. In: Proceedings of Teaching Formal Methods 2003, pp. 40\u201346 (2003)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"The Joint Task Force on Computing Curricula, IEEE Computer Society, Association for Computing Machinery. Computing Curricula 2001 (2001), http:\/\/computer.org\/education\/cc2001\/","DOI":"10.1145\/384274.384275"},{"volume-title":"Computing Curricula 1991: Report of the ACM\/IEEE-CS Joint Curriculum Task Force","year":"1991","key":"12_CR30","unstructured":"Tucker, A.B. (ed.): Computing Curricula 1991: Report of the ACM\/IEEE-CS Joint Curriculum Task Force. IEEE Computer Society Press, Los Alamitos (1991)"},{"issue":"9","key":"12_CR31","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J.M. Wing","year":"1990","unstructured":"Wing, J.M.: A specifier\u2019s introduction to formal methods. IEEE Computer\u00a023(9), 8\u201324 (1990)","journal-title":"IEEE Computer"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Wing, J.M.: Weaving formal methods into the undergraduate computer science curriculum. In: Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST (2000)","DOI":"10.1007\/3-540-45499-3_2"}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T01:00:39Z","timestamp":1740531639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}