{"id":"https://openalex.org/W4399397082","doi":"https://doi.org/10.1145/3644033.3644373","title":"Formal Methods in Requirements Engineering: Survey and Future Directions","display_name":"Formal Methods in Requirements Engineering: Survey and Future Directions","publication_year":2024,"publication_date":"2024-04-14","ids":{"openalex":"https://openalex.org/W4399397082","doi":"https://doi.org/10.1145/3644033.3644373"},"language":"en","primary_location":{"id":"doi:10.1145/3644033.3644373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644373","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644373","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644373","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012934005","display_name":"Robert Lorch","orcid":"https://orcid.org/0000-0001-9242-019X"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Lorch","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-9242-019X","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053186956","display_name":"Baoluo Meng","orcid":"https://orcid.org/0000-0002-3284-1969"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Baoluo Meng","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, United States"],"raw_orcid":"https://orcid.org/0000-0002-3284-1969","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, United States","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011767978","display_name":"Kit Siu","orcid":"https://orcid.org/0000-0002-5232-1098"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kit Siu","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-5232-1098","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082779936","display_name":"Abha Moitra","orcid":"https://orcid.org/0000-0002-7027-2082"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abha Moitra","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-7027-2082","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028945414","display_name":"Michael Durling","orcid":"https://orcid.org/0000-0002-6660-2667"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Durling","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-6660-2667","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038333445","display_name":"Saswata Paul","orcid":"https://orcid.org/0000-0002-1792-9858"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saswata Paul","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-1792-9858","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, USA","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051242183","display_name":"Sarat Chandra Varanasi","orcid":"https://orcid.org/0000-0002-4620-4266"},"institutions":[{"id":"https://openalex.org/I4210134512","display_name":"GE Global Research (United States)","ror":"https://ror.org/03e06qt98","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134512"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarat Chandra Varanasi","raw_affiliation_strings":["GE Aerospace Research, Niskayuna, NY, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-4620-4266","affiliations":[{"raw_affiliation_string":"GE Aerospace Research, Niskayuna, NY, United States of America","institution_ids":["https://openalex.org/I4210134512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032557317","display_name":"Craig McMillan","orcid":"https://orcid.org/0009-0005-8002-791X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Craig Mcmillan","raw_affiliation_strings":["GE Aerospace, Evendale, OH, USA"],"raw_orcid":"https://orcid.org/0009-0005-8002-791X","affiliations":[{"raw_affiliation_string":"GE Aerospace, Evendale, OH, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1343,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88745656,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"88","last_page":"99"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6980096697807312},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.6861622333526611},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.5598158240318298},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.5367077589035034},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5242859721183777},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.49962353706359863},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.48324546217918396},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.45802247524261475},{"id":"https://openalex.org/keywords/requirements-elicitation","display_name":"Requirements elicitation","score":0.45011577010154724},{"id":"https://openalex.org/keywords/engineering-design-process","display_name":"Engineering design process","score":0.442805677652359},{"id":"https://openalex.org/keywords/requirements-management","display_name":"Requirements management","score":0.42039719223976135},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.41027602553367615},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3962075710296631},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.334564208984375},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2162446677684784},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09213805198669434},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08721461892127991}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6980096697807312},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.6861622333526611},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.5598158240318298},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.5367077589035034},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5242859721183777},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.49962353706359863},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.48324546217918396},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.45802247524261475},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.45011577010154724},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.442805677652359},{"id":"https://openalex.org/C173577280","wikidata":"https://www.wikidata.org/wiki/Q530038","display_name":"Requirements management","level":4,"score":0.42039719223976135},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.41027602553367615},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3962075710296631},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.334564208984375},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2162446677684784},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09213805198669434},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08721461892127991},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3644033.3644373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644373","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644373","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3644033.3644373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3644033.3644373","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3644033.3644373","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3358721971","display_name":null,"funder_award_id":"FA8750-20-C-0203","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399397082.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W73549669","https://openalex.org/W622584846","https://openalex.org/W1508977358","https://openalex.org/W1603692091","https://openalex.org/W1679534293","https://openalex.org/W1829473688","https://openalex.org/W1971309296","https://openalex.org/W1983432291","https://openalex.org/W1998702583","https://openalex.org/W1999746704","https://openalex.org/W2038221577","https://openalex.org/W2041990479","https://openalex.org/W2060498389","https://openalex.org/W2063391910","https://openalex.org/W2071210182","https://openalex.org/W2072082216","https://openalex.org/W2084544691","https://openalex.org/W2084813302","https://openalex.org/W2099862516","https://openalex.org/W2105657528","https://openalex.org/W2109689605","https://openalex.org/W2121171289","https://openalex.org/W2125415493","https://openalex.org/W2133933998","https://openalex.org/W2155048786","https://openalex.org/W2168915271","https://openalex.org/W2171816001","https://openalex.org/W2295054870","https://openalex.org/W2337731644","https://openalex.org/W2406943729","https://openalex.org/W2496251943","https://openalex.org/W2911468826","https://openalex.org/W2942619398","https://openalex.org/W2951927280","https://openalex.org/W3137722765","https://openalex.org/W3140839120","https://openalex.org/W3153343958","https://openalex.org/W3153348149","https://openalex.org/W3211510132","https://openalex.org/W4245640662","https://openalex.org/W4252333819","https://openalex.org/W4255816276","https://openalex.org/W4256084472","https://openalex.org/W4290715569","https://openalex.org/W6735532006"],"related_works":["https://openalex.org/W2472769502","https://openalex.org/W2242308721","https://openalex.org/W2238632658","https://openalex.org/W2062417677","https://openalex.org/W4254568495","https://openalex.org/W142054160","https://openalex.org/W2757033128","https://openalex.org/W1638653691","https://openalex.org/W4235167339","https://openalex.org/W2040616550"],"abstract_inverted_index":{"Requirements":[0],"engineering":[1,94],"plays":[2],"a":[3,17,56],"pivotal":[4],"role":[5],"in":[6,27,65,92],"the":[7,13,28,66,83],"development":[8],"of":[9,58],"safety-critical":[10],"systems.":[11],"However,":[12],"process":[14],"is":[15],"usually":[16],"manual":[18],"one":[19],"and":[20,25,48,51,61,87,96],"can":[21,42],"lead":[22],"to":[23,45],"errors":[24,47],"inconsistencies":[26],"requirements":[29,59,93],"that":[30,41,73],"are":[31,37],"not":[32],"easily":[33],"detectable.":[34],"Formal":[35],"methods":[36,76],"mathematically":[38],"rigorous":[39],"techniques":[40,77],"aid":[43],"engineers":[44],"detect":[46],"produce":[49],"consistent":[50],"correct":[52],"requirements.":[53],"We":[54,81],"survey":[55],"variety":[57],"capture":[60],"analysis":[62],"tools":[63,72],"presented":[64],"literature.":[67],"Specifically,":[68],"we":[69],"focus":[70],"on":[71],"incorporate":[74],"formal":[75],"into":[78],"their":[79],"analyses.":[80],"discuss":[82],"various":[84],"tools'":[85],"strengths":[86],"weaknesses,":[88],"identify":[89],"current":[90],"trends":[91],"research,":[95],"highlight":[97],"open":[98],"research":[99],"questions.":[100]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}