{"id":"https://openalex.org/W4399498587","doi":"https://doi.org/10.1145/3670795","title":"Does Every Computer Scientist Need to Know Formal Methods?","display_name":"Does Every Computer Scientist Need to Know Formal Methods?","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399498587","doi":"https://doi.org/10.1145/3670795"},"language":"en","primary_location":{"id":"doi:10.1145/3670795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670795","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3670795","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083480819","display_name":"Manfred Broy","orcid":"https://orcid.org/0000-0003-2649-1752"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Manfred Broy","raw_affiliation_strings":["Informatik, Technische Universit\u00e4t M\u00fcnchen, Munchen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-2649-1752","affiliations":[{"raw_affiliation_string":"Informatik, Technische Universit\u00e4t M\u00fcnchen, Munchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016746101","display_name":"Achim D. Brucker","orcid":"https://orcid.org/0000-0002-6355-1200"},"institutions":[{"id":"https://openalex.org/I23923803","display_name":"University of Exeter","ror":"https://ror.org/03yghzc09","country_code":"GB","type":"education","lineage":["https://openalex.org/I23923803"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Achim D. Brucker","raw_affiliation_strings":["University of Exeter, Exeter, United Kingdom of Great Britain and Northern Ireland"],"raw_orcid":"https://orcid.org/0000-0002-6355-1200","affiliations":[{"raw_affiliation_string":"University of Exeter, Exeter, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I23923803"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084211673","display_name":"Alessandro Fantechi","orcid":"https://orcid.org/0000-0002-4648-4667"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Fantechi","raw_affiliation_strings":["DINFO, University of Florence School of Engineering, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4648-4667","affiliations":[{"raw_affiliation_string":"DINFO, University of Florence School of Engineering, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022183634","display_name":"Mario Gleirscher","orcid":"https://orcid.org/0000-0002-9445-6863"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mario Gleirscher","raw_affiliation_strings":["University of Bremen, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9445-6863","affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["Jet Propulsion Laboratory, California Inst. of Technology, Pasadena, United States","Jet Propulsion Laboratory, Pasadena, United States"],"raw_orcid":"https://orcid.org/0000-0001-7079-0472","affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California Inst. of Technology, Pasadena, United States","institution_ids":["https://openalex.org/I1334627681"]},{"raw_affiliation_string":"Jet Propulsion Laboratory, Pasadena, United States","institution_ids":["https://openalex.org/I1334627681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046033920","display_name":"Markus A. Kuppe","orcid":"https://orcid.org/0000-0002-6972-2031"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Markus Alexander Kuppe","raw_affiliation_strings":["Microsoft Research, Redmond, United States"],"raw_orcid":"https://orcid.org/0000-0002-6972-2031","affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, United States","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101599601","display_name":"Alexandra Mendes","orcid":"https://orcid.org/0000-0001-8060-5920"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alexandra Mendes","raw_affiliation_strings":["INESC TEC, Faculty of Engineering, University of Porto, Porto, Portugal","University of Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0001-8060-5920","affiliations":[{"raw_affiliation_string":"INESC TEC, Faculty of Engineering, University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I182534213"]},{"raw_affiliation_string":"University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080481427","display_name":"Andr\u00e9 Platzer","orcid":"https://orcid.org/0000-0001-7238-5710"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Platzer","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, United States"],"raw_orcid":"https://orcid.org/0000-0001-7238-5710","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, United States","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021803711","display_name":"Jan Oliver Ringert","orcid":"https://orcid.org/0000-0002-3610-3920"},"institutions":[{"id":"https://openalex.org/I51441396","display_name":"Bauhaus-Universit\u00e4t Weimar","ror":"https://ror.org/033bb5z47","country_code":"DE","type":"education","lineage":["https://openalex.org/I51441396"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Oliver Ringert","raw_affiliation_strings":["Bauhaus University Weimar, Weimar, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3610-3920","affiliations":[{"raw_affiliation_string":"Bauhaus University Weimar, Weimar, Germany","institution_ids":["https://openalex.org/I51441396"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087863036","display_name":"Allison Sullivan","orcid":"https://orcid.org/0000-0001-7400-2218"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allison Sullivan","raw_affiliation_strings":["The University of Texas at Arlington, Arlington, United States"],"raw_orcid":"https://orcid.org/0000-0001-7400-2218","affiliations":[{"raw_affiliation_string":"The University of Texas at Arlington, Arlington, United States","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5083480819"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":6.879,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.97720768,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"37","issue":"1","first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6775338053703308},{"id":"https://openalex.org/keywords/curriculum","display_name":"Curriculum","score":0.6626124978065491},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.639839768409729},{"id":"https://openalex.org/keywords/mindset","display_name":"Mindset","score":0.4914456605911255},{"id":"https://openalex.org/keywords/formal-science","display_name":"Formal science","score":0.46561574935913086},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.4224892854690552},{"id":"https://openalex.org/keywords/engineering-ethics","display_name":"Engineering ethics","score":0.41806313395500183},{"id":"https://openalex.org/keywords/theme","display_name":"Theme (computing)","score":0.41734033823013306},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.37147969007492065},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.23880288004875183},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2102024257183075},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.20153146982192993},{"id":"https://openalex.org/keywords/pedagogy","display_name":"Pedagogy","score":0.19451913237571716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17416873574256897},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16492098569869995},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.13823077082633972}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6775338053703308},{"id":"https://openalex.org/C47177190","wikidata":"https://www.wikidata.org/wiki/Q207137","display_name":"Curriculum","level":2,"score":0.6626124978065491},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.639839768409729},{"id":"https://openalex.org/C2778491294","wikidata":"https://www.wikidata.org/wiki/Q1339824","display_name":"Mindset","level":2,"score":0.4914456605911255},{"id":"https://openalex.org/C119026595","wikidata":"https://www.wikidata.org/wiki/Q816264","display_name":"Formal science","level":2,"score":0.46561574935913086},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.4224892854690552},{"id":"https://openalex.org/C55587333","wikidata":"https://www.wikidata.org/wiki/Q1133029","display_name":"Engineering ethics","level":1,"score":0.41806313395500183},{"id":"https://openalex.org/C33566652","wikidata":"https://www.wikidata.org/wiki/Q1065927","display_name":"Theme (computing)","level":2,"score":0.41734033823013306},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.37147969007492065},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.23880288004875183},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2102024257183075},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.20153146982192993},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.19451913237571716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17416873574256897},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16492098569869995},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.13823077082633972},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3670795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670795","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:ore.exeter.ac.uk:10871/138634","is_oa":true,"landing_page_url":"http://hdl.handle.net/10871/138634","pdf_url":"https://ore.exeter.ac.uk/articles/journal_contribution/Does_Every_Computer_Scientist_Need_to_Know_Formal_Methods_/29812778/1/files/56859176.pdf","source":{"id":"https://openalex.org/S4306401998","display_name":"Open Research Exeter (University of Exeter)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I23923803","host_organization_name":"University of Exeter","host_organization_lineage":["https://openalex.org/I23923803"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:figshare.com:article/29812778","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal contribution"},{"id":"pmh:oai:flore.unifi.it:2158/1403087","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3670795","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3670795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3670795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3670795","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8700000047683716,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399498587.pdf"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W1555563750","https://openalex.org/W1557561422","https://openalex.org/W1973938051","https://openalex.org/W2020073275","https://openalex.org/W2049777185","https://openalex.org/W2052363833","https://openalex.org/W2116352900","https://openalex.org/W2117689522","https://openalex.org/W2150189917","https://openalex.org/W2164439053","https://openalex.org/W2169887034","https://openalex.org/W2293474702","https://openalex.org/W2604756280","https://openalex.org/W2751853904","https://openalex.org/W2770103357","https://openalex.org/W2798302089","https://openalex.org/W2884432391","https://openalex.org/W2885271276","https://openalex.org/W2885880873","https://openalex.org/W2893132739","https://openalex.org/W2949234369","https://openalex.org/W2957311447","https://openalex.org/W2964232059","https://openalex.org/W3036349267","https://openalex.org/W3082634688","https://openalex.org/W3088608579","https://openalex.org/W3105185804","https://openalex.org/W4212977880","https://openalex.org/W4214928512","https://openalex.org/W4296471858","https://openalex.org/W4319944793","https://openalex.org/W4323026396","https://openalex.org/W4360604003","https://openalex.org/W4362676658","https://openalex.org/W4385983939","https://openalex.org/W4399262243"],"related_works":["https://openalex.org/W2076668473","https://openalex.org/W2268343494","https://openalex.org/W2214314364","https://openalex.org/W2008825044","https://openalex.org/W2390841910","https://openalex.org/W4387850931","https://openalex.org/W1677321822","https://openalex.org/W136399947","https://openalex.org/W3022086173","https://openalex.org/W2038503949"],"abstract_inverted_index":{"We":[0,52,92,203],"focus":[1],"on":[2,183,324],"the":[3,21,27,57,173,179,227,250,261,266],"integration":[4],"of":[5,29,105,136,172,175,229,273,301],"Formal":[6,30],"Methods":[7,31],"as":[8,32,111],"mandatory":[9,34],"theme":[10],"in":[11,73,89,207,276,313],"any":[12],"Computer":[13,25],"Science":[14],"University":[15],"curriculum.":[16,109],"In":[17,185],"particular,":[18],"when":[19],"considering":[20],"ACM":[22],"Curriculum":[23],"for":[24,39,129,222],"Science,":[26],"inclusion":[28],"a":[33,62,133,211,256,277,307,311,314],"Knowledge":[35],"Area":[36],"needs":[37,196],"arguing":[38],"why":[40,151,192],"and":[41,69,98,141,152,162,178,225,233,242,295,309,322],"how":[42,119,137,153,163],"does":[43],"every":[44,79,106,193],"computer":[45,80,107,194,251,278],"science":[46,81,108,252,279],"graduate":[47,82],"benefit":[48],"from":[49],"such":[50],"knowledge.":[51],"do":[53,319],"not":[54,112,255],"agree":[55],"with":[56,122,200],"sentence":[58],"\u201cWhile":[59],"there":[60],"is":[61,126,139,254,303,327],"belief":[63],"that":[64,78,94,205],"formal":[65,87,95,154,159,180,201,208,247,274,283,331],"methods":[66,88,96,155,181,209,248,275,284],"are":[67,71,97,165,265],"important":[68,128],"they":[70,164],"growing":[72],"importance,":[74],"we":[75,188,259],"cannot":[76],"state":[77],"will":[83,115],"need":[84,116],"to":[85,100,117,120,131,149,197,318],"use":[86],"their":[90,158,176],"career.\u201d":[91],"argue":[93,204],"have":[99,132,148],"be":[101,170,198],"an":[102,220,299],"integral":[103],"part":[104],"Just":[110],"all":[113,287],"graduates":[114],"know":[118],"work":[121],"databases":[123],"either,":[124],"it":[125],"still":[127],"students":[130,147],"basic":[134],"understanding":[135,300],"data":[138],"stored":[140],"managed":[142],"efficiently.":[143],"The":[144],"same":[145],"way,":[146],"understand":[150],"work,":[156],"what":[157,264,302],"background":[160],"is,":[161],"justified.":[166],"No":[167],"engineer":[168],"should":[169],"ignorant":[171],"foundations":[174],"subject":[177],"based":[182],"these.":[184],"this":[186,320],"article,":[187],"aim":[189],"at":[190],"highlighting":[191],"scientist":[195],"familiar":[199],"methods.":[202,332],"education":[206],"plays":[210],"key":[212],"role":[213],"by":[214,306,330],"shaping":[215],"students'":[216],"programming":[217,315],"mindset,":[218],"fostering":[219],"appreciation":[221],"underlying":[223],"principles,":[224],"encouraging":[226],"practice":[228],"thoughtful":[230],"program":[231],"design":[232],"justification,":[234],"rather":[235],"than":[236],"simply":[237],"writing":[238],"programs":[239],"without":[240],"reflection":[241],"deeper":[243],"understanding.":[244],"Since":[245],"integrating":[246],"into":[249],"curriculum":[253,280],"straightforward":[257],"process,":[258],"explore":[260],"additional":[262],"question:":[263],"tradeoffs":[267],"between":[268],"one":[269],"dedicated":[270],"knowledge":[271,288],"area":[272],"versus":[281],"having":[282],"scattered":[285],"across":[286],"areas?":[289],"Solving":[290],"problems":[291],"while":[292],"designing":[293],"software":[294],"software-intensive":[296],"systems":[297],"demands":[298],"required,":[304],"followed":[305],"specification":[308],"formalizing":[310],"solution":[312],"language.":[316],"How":[317],"systematically":[321],"correctly":[323],"solid":[325],"grounds":[326],"exactly":[328],"supported":[329]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":9}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}