{"id":"https://openalex.org/W3165794402","doi":"https://doi.org/10.1145/3448975","title":"The Role of Formalism in System Requirements","display_name":"The Role of Formalism in System Requirements","publication_year":2021,"publication_date":"2021-05-25","ids":{"openalex":"https://openalex.org/W3165794402","doi":"https://doi.org/10.1145/3448975","mag":"3165794402"},"language":"en","primary_location":{"id":"doi:10.1145/3448975","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3448975","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"type":"review","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023284644","display_name":"Jean\u2010Michel Bruel","orcid":"https://orcid.org/0000-0002-3653-0148"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jean-Michel Bruel","raw_affiliation_strings":["University of Toulouse, IRIT"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, IRIT","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086167951","display_name":"Sophie Ebersold","orcid":"https://orcid.org/0000-0002-0957-2844"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sophie Ebersold","raw_affiliation_strings":["University of Toulouse, IRIT"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, IRIT","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033183527","display_name":"Florian Galinier","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Florian Galinier","raw_affiliation_strings":["University of Toulouse, IRIT"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, IRIT","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075175655","display_name":"Manuel Mazzara","orcid":"https://orcid.org/0000-0002-3860-4948"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Manuel Mazzara","raw_affiliation_strings":["Innopolis University","Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)"],"affiliations":[{"raw_affiliation_string":"Innopolis University","institution_ids":["https://openalex.org/I4210116741"]},{"raw_affiliation_string":"Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)","institution_ids":["https://openalex.org/I4210116741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044748328","display_name":"Alexandr Naumchev","orcid":"https://orcid.org/0000-0002-7683-0751"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexandr Naumchev","raw_affiliation_strings":["Innopolis University","Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)"],"affiliations":[{"raw_affiliation_string":"Innopolis University","institution_ids":["https://openalex.org/I4210116741"]},{"raw_affiliation_string":"Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)","institution_ids":["https://openalex.org/I4210116741"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073925128","display_name":"Bertrand Meyer","orcid":"https://orcid.org/0000-0002-5985-7434"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]},{"id":"https://openalex.org/I4399657974","display_name":"Constructor Institute","ror":"https://ror.org/02f3v7194","country_code":null,"type":"education","lineage":["https://openalex.org/I4399657974"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Bertrand Meyer","raw_affiliation_strings":["Schaffhausen Institute of Technology and Innopolis University","Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)","SIT - Schaffhausen Institute of Technology (Rheinweg 9, 8200 Schaffhausen, Suisse - Switzerland)"],"affiliations":[{"raw_affiliation_string":"Schaffhausen Institute of Technology and Innopolis University","institution_ids":["https://openalex.org/I4210116741"]},{"raw_affiliation_string":"Innopolis University (Universitetskaya St, 1, Innopolis, Respublika Tatarstan, Russie, 420500 - Russia)","institution_ids":["https://openalex.org/I4210116741"]},{"raw_affiliation_string":"SIT - Schaffhausen Institute of Technology (Rheinweg 9, 8200 Schaffhausen, Suisse - Switzerland)","institution_ids":["https://openalex.org/I4399657974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5023284644"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"],"apc_list":null,"apc_paid":null,"fwci":2.6584,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.91486713,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"54","issue":"5","first_page":"1","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8533346056938171},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6153519749641418},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5285650491714478},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5145687460899353},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5022683143615723},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4802737236022949},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47547927498817444},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4732656478881836},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.4712771773338318},{"id":"https://openalex.org/keywords/eiffel","display_name":"Eiffel","score":0.4685894846916199},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.4334666430950165},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.32992491126060486},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2889344096183777},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2273053228855133},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.17362141609191895},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.11365613341331482}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8533346056938171},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6153519749641418},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5285650491714478},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5145687460899353},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5022683143615723},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4802737236022949},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47547927498817444},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4732656478881836},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.4712771773338318},{"id":"https://openalex.org/C186362262","wikidata":"https://www.wikidata.org/wiki/Q732089","display_name":"Eiffel","level":3,"score":0.4685894846916199},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.4334666430950165},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.32992491126060486},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2889344096183777},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2273053228855133},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.17362141609191895},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.11365613341331482},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3448975","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3448975","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03261574v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03261574","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://dl.acm.org/doi/10.1145/3448975","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-04278226v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04278226","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://dl.acm.org/doi/10.1145/3448975","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.7400000095367432,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":124,"referenced_works":["https://openalex.org/W54661857","https://openalex.org/W67677442","https://openalex.org/W95898634","https://openalex.org/W282834435","https://openalex.org/W560144434","https://openalex.org/W639481382","https://openalex.org/W943604084","https://openalex.org/W1046642269","https://openalex.org/W1481363863","https://openalex.org/W1503079926","https://openalex.org/W1504504841","https://openalex.org/W1505618619","https://openalex.org/W1521496944","https://openalex.org/W1541516526","https://openalex.org/W1551592336","https://openalex.org/W1555123745","https://openalex.org/W1555830825","https://openalex.org/W1556900989","https://openalex.org/W1559526797","https://openalex.org/W1559870885","https://openalex.org/W1578564352","https://openalex.org/W1585197271","https://openalex.org/W1597013636","https://openalex.org/W1608726202","https://openalex.org/W1623616428","https://openalex.org/W1656765819","https://openalex.org/W1761236970","https://openalex.org/W1809292008","https://openalex.org/W1874361509","https://openalex.org/W1882919433","https://openalex.org/W1895387792","https://openalex.org/W1966288721","https://openalex.org/W1977720972","https://openalex.org/W1978721560","https://openalex.org/W1984936841","https://openalex.org/W1987078292","https://openalex.org/W1991361738","https://openalex.org/W1994092777","https://openalex.org/W1999170761","https://openalex.org/W2001570688","https://openalex.org/W2012140001","https://openalex.org/W2012957645","https://openalex.org/W2013424538","https://openalex.org/W2017739343","https://openalex.org/W2039310738","https://openalex.org/W2053171955","https://openalex.org/W2058818941","https://openalex.org/W2060910670","https://openalex.org/W2067636118","https://openalex.org/W2077643417","https://openalex.org/W2081225042","https://openalex.org/W2083039210","https://openalex.org/W2084818933","https://openalex.org/W2084858823","https://openalex.org/W2090523872","https://openalex.org/W2096170821","https://openalex.org/W2098895708","https://openalex.org/W2099529102","https://openalex.org/W2102874028","https://openalex.org/W2105438026","https://openalex.org/W2110311336","https://openalex.org/W2110701642","https://openalex.org/W2113435553","https://openalex.org/W2115076780","https://openalex.org/W2118685176","https://openalex.org/W2120030400","https://openalex.org/W2124621264","https://openalex.org/W2129384397","https://openalex.org/W2130560480","https://openalex.org/W2130616228","https://openalex.org/W2131830140","https://openalex.org/W2133900335","https://openalex.org/W2137865376","https://openalex.org/W2148996482","https://openalex.org/W2150189917","https://openalex.org/W2151397158","https://openalex.org/W2151451947","https://openalex.org/W2152506470","https://openalex.org/W2156844766","https://openalex.org/W2157437711","https://openalex.org/W2158049821","https://openalex.org/W2162497509","https://openalex.org/W2165467455","https://openalex.org/W2166486797","https://openalex.org/W2167237435","https://openalex.org/W2209290409","https://openalex.org/W2269475281","https://openalex.org/W2276055648","https://openalex.org/W2279377564","https://openalex.org/W2295288655","https://openalex.org/W2319741120","https://openalex.org/W2341909296","https://openalex.org/W2561675875","https://openalex.org/W2582025857","https://openalex.org/W2604000799","https://openalex.org/W2756396550","https://openalex.org/W2768339170","https://openalex.org/W2788267443","https://openalex.org/W2806091731","https://openalex.org/W2811472820","https://openalex.org/W2899791314","https://openalex.org/W2903317505","https://openalex.org/W2911593479","https://openalex.org/W2953315742","https://openalex.org/W2967794585","https://openalex.org/W2973204678","https://openalex.org/W2977764590","https://openalex.org/W3000738692","https://openalex.org/W3014864966","https://openalex.org/W3022025871","https://openalex.org/W3113612269","https://openalex.org/W3124327231","https://openalex.org/W3144368627","https://openalex.org/W3147477526","https://openalex.org/W3165794402","https://openalex.org/W3203852860","https://openalex.org/W4211008702","https://openalex.org/W4221037676","https://openalex.org/W4240749796","https://openalex.org/W4241036955","https://openalex.org/W4250390143","https://openalex.org/W4250436085","https://openalex.org/W4298263761","https://openalex.org/W6608885098"],"related_works":["https://openalex.org/W1916258364","https://openalex.org/W1527542101","https://openalex.org/W2132980721","https://openalex.org/W2049993111","https://openalex.org/W2138398927","https://openalex.org/W2323519609","https://openalex.org/W2240208030","https://openalex.org/W2672127762","https://openalex.org/W2043563043","https://openalex.org/W2110102808"],"abstract_inverted_index":{"A":[0],"major":[1],"determinant":[2],"of":[3,6,12,48,70,86,93,127,148,155,170],"the":[4,10,46,71,102,153,168],"quality":[5,11],"software":[7],"systems":[8],"is":[9,30],"their":[13,60,109],"requirements,":[14],"which":[15,29],"should":[16],"be":[17],"both":[18],"understandable":[19],"and":[20,51,63,75,97,119,141,157,159],"precise.":[21],"Most":[22],"requirements":[23,39],"are":[24],"written":[25],"in":[26,59],"natural":[27],"language,":[28],"good":[31],"for":[32,43,112,135],"understandability":[33],"but":[34],"lacks":[35],"precision.":[36],"To":[37],"make":[38,162],"precise,":[40],"researchers":[41],"have":[42],"years":[44],"advocated":[45],"use":[47],"mathematics-based":[49],"notations":[50],"methods,":[52],"known":[53],"as":[54,91],"\u201cformal.\u201d":[55],"Many":[56],"exist,":[57],"differing":[58],"style,":[61],"scope,":[62],"applicability.":[64],"The":[65,81,143],"present":[66],"survey":[67],"discusses":[68,145],"some":[69],"main":[72],"formal":[73,171],"approaches":[74,103],"compares":[76],"them":[77],"to":[78,161],"informal":[79],"methods.":[80],"analysis":[82],"uses":[83],"a":[84,146],"set":[85],"nine":[87],"complementary":[88],"criteria,":[89],"such":[90],"level":[92],"abstraction,":[94],"tool":[95],"availability,":[96],"traceability":[98],"support.":[99],"It":[100,122],"classifies":[101],"into":[104],"five":[105],"categories":[106],"based":[107],"on":[108],"principal":[110],"style":[111],"specifying":[113],"requirements:":[114],"natural-language,":[115],"semi-formal,":[116],"automata/graphs,":[117],"mathematical,":[118],"seamless":[120],"(programming-language-based).":[121],"includes":[123],"examples":[124],"from":[125,167],"all":[126],"these":[128],"categories,":[129],"altogether":[130],"21":[131],"different":[132],"approaches,":[133],"including":[134,151],"example":[136],"SysML,":[137],"Relax,":[138],"Eiffel,":[139],"Event-B,":[140],"Alloy.":[142],"review":[144],"number":[147],"open":[149],"questions,":[150],"seamlessness,":[152],"role":[154],"tools":[156],"education,":[158],"how":[160],"industrial":[163],"applications":[164],"benefit":[165],"more":[166],"contributions":[169],"approaches.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}