{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:28:23Z","timestamp":1742974103536,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030576622"},{"type":"electronic","value":"9783030576639"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57663-9_3","type":"book-chapter","created":{"date-parts":[[2020,8,11]],"date-time":"2020-08-11T12:15:06Z","timestamp":1597148106000},"page":"28-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reflections on Teaching Formal Methods for Software Development in Higher Education"],"prefix":"10.1007","author":[{"given":"Mansur","family":"Khazeev","sequence":"first","affiliation":[]},{"given":"Hamna","family":"Aslam","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"de Carvalho","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Mazzara","sequence":"additional","affiliation":[]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[]},{"given":"Joseph Alexander","family":"Brown","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,12]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49\u201369. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30569-9_3"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-39306-9_1","volume-title":"Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment","author":"E Bobrov","year":"2020","unstructured":"Bobrov, E., Bucchiarone, A., Capozucca, A., Guelfi, N., Mazzara, M., Masyagin, S.: Teaching DevOps in academia and industry: reflections and vision. In: Bruel, J.-M., Mazzara, M., Meyer, B. (eds.) DEVOPS 2019. LNCS, vol. 12055, pp. 1\u201314. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-39306-9_1"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-030-31646-4_14","volume-title":"Microservices","author":"E Bobrov","year":"2020","unstructured":"Bobrov, E., et al.: DevOps and its philosophy: education matters!. Microservices, pp. 349\u2013361. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-31646-4_14"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L Burdy","year":"2004","unstructured":"Burdy, L., et al.: An overview of JML tools and applications. Int. J. Soft. Tools Technol. Transf. 7(3), 212\u2013232 (2004). https:\/\/doi.org\/10.1007\/s10009-004-0167-4","journal-title":"Int. J. Soft. Tools Technol. Transf."},{"doi-asserted-by":"crossref","unstructured":"Cata\u00f1o, N.: An empirical study on teaching formal methods to millennials. In: Proceedings of the 1st International Workshop on Software Engineering Curricula for Millennials, SECM \u201917, Buenos Aires, Argentina, pp. 3\u20138. IEEE Press (2017)","key":"3_CR5","DOI":"10.1109\/SECM.2017.1"},{"key":"3_CR6","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"3_CR7","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-030-11932-4_7","volume-title":"The Challenges of the Digital Transformation in Education","author":"D de Carvalho","year":"2020","unstructured":"de Carvalho, D.: Teaching programming and\u00a0design-by-contract. In: Auer, M.E., Tsiatsos, T. (eds.) ICL 2018. AISC, vol. 916, pp. 68\u201376. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-11932-4_7"},{"unstructured":"ES: The Eiffel Method and Language. https:\/\/www.eiffel.org\/doc\/eiffel\/Eiffel","key":"3_CR8"},{"doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Proceedings of the Symposium on Applied Math, vol. 19, pp. 19\u201332. American Mathematical Society (1967)","key":"3_CR9","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"23","key":"3_CR10","doi-asserted-by":"publisher","first-page":"8410","DOI":"10.1073\/pnas.1319030111","volume":"111","author":"S Freeman","year":"2014","unstructured":"Freeman, S., et al.: Active learning increases student performance in science, engineering, and mathematics. Proc. Natl. Acad. Sci. 111(23), 8410\u20138415 (2014)","journal-title":"Proc. Natl. Acad. Sci."},{"unstructured":"Furia, C.A., Poskitt, C.M., Tschannen, J.: The autoproof verifier: usability by non-experts and on standard code. In: Proceedings of Formal Integrated Development Environment, F-IDE 2015 (2015). Electron. Proc. Theor. Comput. Sci. 187, 42\u201355 (2015)","key":"3_CR11"},{"doi-asserted-by":"crossref","unstructured":"Gibson, P., M\u00e9ry, D.: Teaching formal methods: lessons to learn. In: Proceedings of the 2nd Irish Conference on Formal Methods, IW-FM\u201998, Swindon, GBR, pp. 56\u201368. BCS Learning & Development Ltd. (1998)","key":"3_CR12","DOI":"10.14236\/ewic\/FM1998.4"},{"unstructured":"Object Management Group: Object constraint language. https:\/\/www.omg.org\/spec\/OCL\/About-OCL\/","key":"3_CR13"},{"issue":"4","key":"3_CR14","first-page":"22:1","volume":"41","author":"CAR Hoare","year":"2009","unstructured":"Hoare, C.A.R., Misra, J., Leavens, G.T., Shankar, N.: The verified software initiative: a manifesto. ACM Comput. Surv. 41(4), 22:1\u201322:8 (2009)","journal-title":"ACM Comput. Surv."},{"unstructured":"Ishikawa, F., Yoshioka, N., Tanabe, Y.: Keys and roles of formal methods education for industry: 10 year experience with top SE program. In: Bollin, A., Margaria, T., Perseil, I. (eds.) Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, 23 June 2015. CEUR-WS.org (2015). CEUR Workshop Proc. 1385, 35\u201342 (2015)","key":"3_CR15"},{"unstructured":"Jaume, M., Laurent, T.: Teaching formal methods and discrete mathematics. In: Dubois, C., Giannakopoulou, D., M\u00e9ry, D. (eds.) Proceedings 1st Workshop on Formal Integrated Development Environment, Grenoble, France, 6 April 2014. Open Publishing Association (2014). Electron. Proc. Theor. Comput. Sci. 149, 30\u201343 (2014)","key":"3_CR16"},{"key":"3_CR17","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-030-40271-6_20","volume-title":"The Impact of the 4th Industrial Revolution on Engineering Education","author":"M Khazeev","year":"2020","unstructured":"Khazeev, M., Mazzara, M., Aslam, H., de Carvalho, D.: Towards a broader acceptance of formal verification tools. In: Auer, M.E., Hortsch, H., Sethakul, P. (eds.) ICL 2019. AISC, vol. 1135, pp. 188\u2013200. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40271-6_20"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1595453.1595457","volume":"41","author":"S Liu","year":"2009","unstructured":"Liu, S., Takahashi, K., Hayashi, T., Nakayama, T.: Teaching formal methods in the context of software engineering. ACM SIGCSE Bull. 41(2), 17\u201323 (2009)","journal-title":"ACM SIGCSE Bull."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-06019-0_8","volume-title":"Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment","author":"M Mazzara","year":"2019","unstructured":"Mazzara, M., Naumchev, A., Safina, L., Sillitti, A., Urysov, K.: Teaching DevOps in corporate environments. In: Bruel, J.-M., Mazzara, M., Meyer, B. (eds.) DEVOPS 2018. LNCS, vol. 11350, pp. 100\u2013111. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-06019-0_8"},{"issue":"10","key":"3_CR20","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Miller, J.F.: Teaching and learning formal methods, improving productivity. In: Butterfield, A., Haegele, K. (eds.) 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999. Workshops in Computing. BCS (1999)","key":"3_CR21","DOI":"10.14236\/ewic\/IWFM1999.12"},{"key":"3_CR22","series-title":"Undergraduate Topics in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-319-64021-1_8","volume-title":"Concise Guide to Formal Methods","author":"G O\u2019Regan","year":"2017","unstructured":"O\u2019Regan, G.: Z formal specification language. Concise Guide to Formal Methods. UTCS, pp. 151\u2013166. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-64021-1_8"},{"key":"3_CR23","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"RS Pressman","year":"2010","unstructured":"Pressman, R.S.: Software Engineering: A Practitioner\u2019s Approach, 7th edn. McGraw-Hill Higher Education, New York (2010). OCLC: ocn271105592","edition":"7"},{"unstructured":"Sobel, A.E.K., Saiedian, H., Stavely, A., Henderson, P.: Teaching formal methods early in the software engineering curriculum. In: Proceedings of the 13th Conference on Software Engineering Education & Training, CSEET \u201900, p. 55. IEEE Computer Society (2000)","key":"3_CR24"},{"unstructured":"Sotiriadou, A., Kefalas, P.: Teaching formal methods in computer science undergraduates. In: International Conference on Applied and Theoretical Mathematics (2000)","key":"3_CR25"},{"issue":"2","key":"3_CR26","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1011236117591","volume":"19","author":"J Tretmans","year":"2001","unstructured":"Tretmans, J., Wijbrans, K., Chaudron, M.: Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods. Formal Meth. Syst. Des. 19(2), 195\u2013215 (2001)","journal-title":"Formal Meth. Syst. Des."},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-662-46681-0_53","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J Tschannen","year":"2015","unstructured":"Tschannen, J., Furia, C.A., Nordio, M., Polikarpova, N.: AutoProof: auto-active functional verification of object-oriented programs. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 566\u2013580. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_53"}],"container-title":["Lecture Notes in Computer Science","Frontiers in Software Engineering Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57663-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T14:19:42Z","timestamp":1667744382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57663-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030576622","9783030576639"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57663-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"12 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FISEE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Frontiers in Software Engineering Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Villebrumier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fisee2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.laser-foundation.org\/fisee\/fisee-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"96% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Papers were invited; 3 papers stem from an associated TOOLS Workshop: Artificial and Natural Tools (ANT)","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}