{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:04:52Z","timestamp":1766466292667,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031606977"},{"type":"electronic","value":"9783031606984"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-60698-4_24","type":"book-chapter","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:01:51Z","timestamp":1716768111000},"page":"399-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Structuring Formal Methods into the Undergraduate Computer Science Curriculum"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0737-318X","authenticated-orcid":false,"given":"Sarnath","family":"Ramnath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9618-7376","authenticated-orcid":false,"given":"Stephen","family":"Walk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,26]]},"reference":[{"key":"24_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-030-71374-4_5","volume-title":"Formal Methods \u2013 Fun for Everybody","author":"A Cerone","year":"2021","unstructured":"Cerone, A., Lermer, K.R.: Adapting to different types of target audience in teaching formal methods. In: Cerone, A., Roggenbach, M. (eds.) FMFun 2019. CCIS, vol. 1301, pp. 106\u2013123. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-71374-4_5"},{"key":"24_CR2","unstructured":"What I\u2019ve Learned About Formal Methods In Half a Year (2023). https:\/\/jakob.space\/blog\/what-ive-learned-about-formal-methods.html"},{"key":"24_CR3","unstructured":"Make Formal Verification and Provably Correct Software Practical and Mainstream. Comments posted in May 2022. https:\/\/news.ycombinator.com\/item?id=31543953"},{"key":"24_CR4","unstructured":"Wonnacott, D.G., Osera, P.M.: A bridge anchored on both sides: formal deduction in introductory CS, and code proofs in discrete math. arXiv preprint arXiv:1907.04134 (2019)"},{"key":"24_CR5","unstructured":"Meyer, J., Land, R.: Threshold concepts and troublesome knowledge: linkages to ways of thinking and practising within the disciplines. ETL Project Occasional Report 4 (2003). http:\/\/www.ed.ac.uk\/etl\/docs\/ETLreport4.pdf"},{"key":"24_CR6","unstructured":"Fouberg, E.H.: 5 ways to integrate threshold concepts into your classroom. The Wiley Network (2019). https:\/\/www.wiley.com\/network\/latest-content\/5-ways-to-integrate-threshold-concepts-into-your-classroom"},{"key":"24_CR7","unstructured":"Easdown, D.: Teaching proofs in mathematics. In: 1st Joint International Meeting between the American Mathematical Society and the New Zealand Mathematical Society (2007). http:\/\/at.yorku.ca\/c\/a\/t\/m\/51"},{"key":"24_CR8","doi-asserted-by":"publisher","unstructured":"Ramnath, S., Dathan, B.: Crossing learning thresholds progressively via active learning. In Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2022). Association for Computing Machinery, New York, NY, USA, pp. 14\u201323 (2022). https:\/\/doi.org\/10.1145\/3563767.3568128","DOI":"10.1145\/3563767.3568128"},{"key":"24_CR9","unstructured":"HIGH IMPACT TEACHING STRATEGIES. https:\/\/www.education.vic.gov.au\/Documents\/school\/teachers\/management\/highimpactteachingstrat.pdf"},{"key":"24_CR10","unstructured":"Help Students Retain, Organize and Integrate Knowledge https:\/\/tll.mit.edu\/teaching-resources\/how-to-teach\/help-students-retain-organize-and-integrate-knowledge\/"},{"key":"24_CR11","unstructured":"Knowles, M.S., Holton, E.F. III, Swanson, R.A.: The Adult Learner, Sixth Edition: The Definitive Classic in Adult Education and Human Resource Development, Taylor and Francis, seventh edition (2011)"},{"key":"24_CR12","doi-asserted-by":"publisher","unstructured":"Ramnath, S., Dathan, B.: Evolving an integrated curriculum for object-oriented analysis and design. SIGCSE Bull. 40(1), 337\u2013341 2008. https:\/\/doi.org\/10.1145\/1352322.1352252","DOI":"10.1145\/1352322.1352252"},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"Ramnath, S., Hoover, J.H.: Enhancing engagement by blending rigor and relevance. In Proceedings of the 47th ACM Technical Symposium on Computing Science Education (SIGCSE \u201816). Association for Computing Machinery, New York, NY, USA, pp. 108\u2013113 (2016). https:\/\/doi.org\/10.1145\/2839509.2844554A.A, Author, \u201cOnline Article Title,\u201d Periodical Title, vol. Volume, no. Issue, pp.-pp., Publication Year. Retrieved from URL 2016","DOI":"10.1145\/2839509.2844554A.A"},{"key":"24_CR14","unstructured":"Blankenship, S.: Learning to reason about code with assertions: an exploration with two student populations (2022). https:\/\/tigerprints.clemson.edu\/all_theses\/3950\/"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Lehtinen, T., Lukkarinen, A., Haaranen, L.: Students struggle to explain their own program code. In Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V 1, pp. 206\u2013212 (2021). https:\/\/arxiv.org\/pdf\/2104.06710.pdf","DOI":"10.1145\/3430665.3456322"},{"key":"24_CR16","doi-asserted-by":"publisher","unstructured":"Skevoulis, S., Makarov, V.: Integrating formal methods tools into undergraduate computer science curriculum. In: Proceedings. Frontiers in Education. 36th Annual Conference, San Diego, CA, USA, pp. 1\u20136 (2006). https:\/\/doi.org\/10.1109\/FIE.2006.322570","DOI":"10.1109\/FIE.2006.322570"},{"key":"24_CR17","unstructured":"Sebern, M., Welch, H.: Formal methods in the undergraduate software engineering curriculum. In: 2008 Annual Conference & Exposition (2008). peer.asee.org"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-662-49224-6_7","volume-title":"Software Engineering and Formal Methods","author":"A Zamansky","year":"2015","unstructured":"Zamansky, A., Farchi, E.: Exploring the role of logic and formal methods in information systems education. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 68\u201374. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-49224-6_7"},{"key":"24_CR19","unstructured":"Alabi, O., Vu, A., Osera, P.M.: Snowflake: supporting programming and proofs. In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2, p. 1398 (2022)"},{"key":"24_CR20","unstructured":"The ACM Code of Ethics. https:\/\/www.acm.org\/code-of-ethics"},{"key":"24_CR21","unstructured":"Souppaya, M., Scarfone, K., Dodson, D.: NIST Special Publication 800\u2013218 Secure Software Development Framework (SSDF) Version 1.1: Recommendations for Mitigating the Risk of Software Vulnerabilities"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 3294, pp. 140\u2013152. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30472-2_9"},{"key":"24_CR23","doi-asserted-by":"publisher","unstructured":"da Silva Junior, A., da Costa Cavalheiro, S.A., Foss, L., da Silva, J.V.:Formal specification in basic education: what does it take? In: 2023 IEEE Frontiers in Education Conference (FIE), College Station, TX, USA, pp. 1\u20139 (2023). https:\/\/doi.org\/10.1109\/FIE58773.2023.10343074","DOI":"10.1109\/FIE58773.2023.10343074"},{"key":"24_CR24","unstructured":"National Centers of Academic Excellence in Cybersecurity. https:\/\/www.nsa.gov\/Academics\/Centers-of-Academic-Excellence\/"},{"key":"24_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-71374-4_1","volume-title":"Formal Methods \u2013 Fun for Everybody","author":"A Cerone","year":"2021","unstructured":"Cerone, A., et al.: Rooting formal methods within higher education curricula for computer science and software engineering \u2014 a white paper \u2014. In: Cerone, A., Roggenbach, M. (eds.) FMFun 2019. CCIS, vol. 1301, pp. 1\u201326. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-71374-4_1"},{"key":"24_CR26","unstructured":"Ter Beek, M H., Broy, M., Dongol, B., Sekerinski, E.: The role of formal methods in computer science education. https:\/\/csed.acm.org\/wp-content\/uploads\/2023\/11\/Formal-Methods-Nov-2023-1.pdf"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-58298-2_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"H Garavel","year":"2020","unstructured":"Garavel, H., Beek, M.H.T., Pol, JVd.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ni\u010dkovi\u0107, D. (eds.) FMICS 2020. LNCS, vol. 12327, pp. 3\u201369. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60698-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:05:01Z","timestamp":1716768301000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60698-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031606977","9783031606984"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60698-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}