{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T00:12:12Z","timestamp":1783987932386,"version":"3.55.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T00:00:00Z","timestamp":1731283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Inroads"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1145\/3702231","type":"journal-article","created":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T18:18:02Z","timestamp":1731349082000},"page":"58-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["The Role of Formal Methods in Computer Science Education"],"prefix":"10.1145","volume":"15","author":[{"given":"Maurice","family":"ter Beek","sequence":"first","affiliation":[{"name":"CNR-ISTI"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manfred","family":"Broy","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brijesh","family":"Dongol","sequence":"additional","affiliation":[{"name":"University of Surrey"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,11,11]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"CS2023 Knowledge Areas; https:\/\/csed.acm.org\/knowledge-areas\/. Accessed 2024 Apr 29","author":"ACM","unstructured":"ACM CS2023 Knowledge Areas; https:\/\/csed.acm.org\/knowledge-areas\/. Accessed 2024 Apr 29."},{"key":"e_1_2_1_2_1","unstructured":"ACM Turing Award winners; https:\/\/amturing.acm.org\/byyear.cfm. Accessed 2024 Apr 29."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2019.2930609"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","unstructured":"ter Beek M. H. Chapman R. Cleaveland R. Garavel H. Gu R. ter Horst I. Keiren J. J. A. Lecomte T. Leuschel M. Rozier K. Y. Sampaio A. Seceleanu C. Thomas M. Willemse T. A. C. and Zhang L. Formal Methods in Industry. Form. Asp. Comput. (2024) 10.1145\/3689374","DOI":"10.1145\/3689374"},{"key":"e_1_2_1_5_1","volume-title":"By computers, for computers: Improving scanner metrology software with generated code","author":"Binns L.","year":"2024","unstructured":"Binns, L. By computers, for computers: Improving scanner metrology software with generated code; https:\/\/www.linkedin.com\/pulse\/computers-improving-scanner-metrology-software-code-lewis\/. Accessed 2024 Apr 29."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Broy M. Brucker A. Fantechi A. Gleirscher M. Havelund K. Kuppe M. A. Mendes A. Platzer A. Ringert J. and Sullivan A. Does Every Computer Scientist Need to Know Formal Methods? Form. Asp. Comput. (2024) 10.1145\/3670795","DOI":"10.1145\/3670795"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3569927"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27481-7_24"},{"key":"e_1_2_1_9_1","unstructured":"CAV Award winners; http:\/\/i-cav.org\/cav-award\/. Accessed 2024 Jul 29."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71374-4_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_23"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_3"},{"key":"e_1_2_1_14_1","volume-title":"Shiny Object Syndrome: The Biggest Problem For Today's Entrepreneurs. Forbes (2023)","author":"Cook J.","year":"2023","unstructured":"Cook, J. Shiny Object Syndrome: The Biggest Problem For Today's Entrepreneurs. Forbes (2023); https:\/\/www.forbes.com\/sites\/jodiecook\/2023\/02\/20\/shiny-object-syndrome-the-biggest-problem-for-todays-entrepreneurs\/?sh=5a90cb4b6709. Accessed 2024 Jul 29."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/76380.76381"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Dongol B. Dubois C. Hallerstede S. Hehner E. Morgan C. M\u00fcller P. Ribeiro L. Silva A. Smith G. and de Vink E. 2024. On Formal Methods Thinking in Computer Science Education. Form. Asp. Comput. (2024) 10.1145\/3670419","DOI":"10.1145\/3670419"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037739"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"key":"e_1_2_1_20_1","unstructured":"FME (Formal Methods Europe); https:\/\/fmeurope.org. Accessed 2024 Apr 29."},{"key":"e_1_2_1_21_1","unstructured":"FME Fellowship Award winners; https:\/\/www.fmeurope.org\/awards\/. Accessed 2024 Apr 29."},{"key":"e_1_2_1_22_1","volume-title":"FME Education Course Database","author":"FME Formal Methods Teaching Committee","year":"2024","unstructured":"FME Formal Methods Teaching Committee. FME Education Course Database; https:\/\/fme-teaching.github.io\/courses\/. Accessed 2024 Sep 24."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_42"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58298-2_1"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09836-5"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9426-4"},{"key":"e_1_2_1_27_1","volume-title":"Software Engineering Models and Methods","author":"IEEE Computer Society","year":"2024","unstructured":"IEEE Computer Society. Software Engineering Models and Methods; https:\/\/www.computer.org\/resources\/software-engineering-models. Accessed 2024 Sep 24."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1996.10038"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232743.1232745"},{"key":"e_1_2_1_31_1","unstructured":"Leino K. R. M. Program Proofs. MIT Press USA 2023; https:\/\/mitpress.mit.edu\/9780262546232\/program-proofs\/. Accessed 2024 Sep 27."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05156-3"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446748"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_24"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-38800-3"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_2"},{"key":"e_1_2_1_38_1","unstructured":"Software Foundations; https:\/\/softwarefoundations.cis.upenn.edu\/. Accessed 2024 Sep 13."},{"key":"e_1_2_1_39_1","volume-title":"Diving Deep on S3 Consistency","author":"Vogels W.","year":"2021","unstructured":"Vogels, W. Diving Deep on S3 Consistency; https:\/\/www.allthingsdistributed.com\/2021\/04\/s3-strong-consistency.html. Accessed 2024 Jul 29."},{"key":"e_1_2_1_40_1","unstructured":"The White House. Back to the Building Blocks: A Path Toward Secure and Measurable Software. Technical Report. White House Office of the National Cyber Director (ONCD) 2024; https:\/\/www.whitehouse.gov\/wp-content\/uploads\/2024\/02\/Final-ONCD-Technical-Report.pdf. Accessed 2024 Jul 29."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"}],"container-title":["ACM Inroads"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3702231","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3702231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T05:21:59Z","timestamp":1763961719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3702231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,11]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["10.1145\/3702231"],"URL":"https:\/\/doi.org\/10.1145\/3702231","relation":{},"ISSN":["2153-2184","2153-2192"],"issn-type":[{"value":"2153-2184","type":"print"},{"value":"2153-2192","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,11]]},"assertion":[{"value":"2024-11-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}