{"id":"https://openalex.org/W3120555375","doi":"https://doi.org/10.1145/3436829.3436845","title":"Formal Requirements Specification","display_name":"Formal Requirements Specification","publication_year":2020,"publication_date":"2020-11-11","ids":{"openalex":"https://openalex.org/W3120555375","doi":"https://doi.org/10.1145/3436829.3436845","mag":"3120555375"},"language":"en","primary_location":{"id":"doi:10.1145/3436829.3436845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3436829.3436845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE)","raw_type":"proceedings-article"},"type":"article","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/A5040893736","display_name":"Misbah Mehboob Awan","orcid":"https://orcid.org/0000-0003-0598-6959"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Misbah Mehboob Awan","raw_affiliation_strings":["Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040585772","display_name":"Farooque Azam","orcid":"https://orcid.org/0000-0002-7421-7400"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Farooque Azam","raw_affiliation_strings":["Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045766368","display_name":"Muhammad Waseem Anwar","orcid":"https://orcid.org/0000-0002-1193-5683"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Waseem Anwar","raw_affiliation_strings":["Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026526820","display_name":"Yawar Rasheed","orcid":"https://orcid.org/0000-0002-9557-997X"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Yawar Rasheed","raw_affiliation_strings":["Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer & Software Engineering, College of E&ME, National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5040893736"],"corresponding_institution_ids":["https://openalex.org/I929597975"],"apc_list":null,"apc_paid":null,"fwci":0.9115,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77680098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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.7699364423751831},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.634924054145813},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6275569796562195},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5539700388908386},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5493882298469543},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5183969140052795},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4992661476135254},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4383719265460968},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.42520570755004883},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.42431485652923584},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.2718302607536316},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24729928374290466}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7699364423751831},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.634924054145813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6275569796562195},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5539700388908386},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5493882298469543},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5183969140052795},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4992661476135254},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4383719265460968},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.42520570755004883},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.42431485652923584},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2718302607536316},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24729928374290466},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3436829.3436845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3436829.3436845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W400238102","https://openalex.org/W1590686765","https://openalex.org/W2095605161","https://openalex.org/W2114809327","https://openalex.org/W2470736385","https://openalex.org/W2570400290","https://openalex.org/W2583120064","https://openalex.org/W2762735906","https://openalex.org/W2903399270","https://openalex.org/W2930651717","https://openalex.org/W4288079856","https://openalex.org/W6669664722","https://openalex.org/W6678335282","https://openalex.org/W6794860607"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W3048422056","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W2044067585","https://openalex.org/W2016051366","https://openalex.org/W12544170","https://openalex.org/W2799231486","https://openalex.org/W2204176978"],"abstract_inverted_index":{"Model":[0],"Driven":[1],"Software":[2],"Engineering":[3],"(MDSE)":[4],"has":[5,217],"become":[6],"a":[7,24,35,82,105,147,150,168,255],"widely":[8,154],"adopted":[9],"approach":[10],"in":[11,64],"software":[12,17,31,89,108],"development":[13,18,252],"industry.":[14],"Besides":[15],"other":[16],"phases,":[19],"specifying":[20,97],"requirements":[21,46,241,260],"formally,":[22],"is":[23,72,81,130],"crucial":[25],"activity":[26],"for":[27,44,60,248],"developing":[28],"model":[29,226,234,236,250],"based":[30,251],"systems.":[32],"There":[33],"exist":[34],"number":[36],"of":[37,68,123,126,149,171,180,182,253],"formal":[38,45,50,61,70,83,114,183,262],"languages":[39,51,71,115],"that":[40,87,159,223],"can":[41,244],"be":[42,246],"used":[43,155],"specification.":[47,62],"However,":[48,113],"these":[49,69],"are":[52,77,116],"hard":[53],"to":[54,58,104,132,176,189,235,239],"comprehend":[55],"and":[56,74,94,99,109,138,153,188,232],"difficult":[57],"use":[59,125],"Nonetheless,":[63],"many":[65],"researches,":[66],"abstraction":[67],"required":[73,131],"their":[75],"benefits":[76],"tremendous.":[78],"Z":[79,156,186,199],"Notation":[80,157,200],"language":[84,184],"which":[85,257],"guarantees":[86],"the":[88,134,163,178,206,224,249],"system":[90,256],"must":[91],"meet":[92],"regulations":[93],"standards":[95],"by":[96,166],"clear":[98],"unambiguous":[100,240],"requirements.":[101],"This":[102,173],"leads":[103],"high":[106],"quality":[107],"greater":[110],"user":[111],"satisfaction.":[112],"not":[117],"welcomed":[118],"with":[119],"UML":[120,137,195,213],"models":[121],"because":[122],"rigorous":[124],"mathematics.":[127],"A":[128],"bridge":[129],"minimize":[133],"gap":[135],"between":[136],"Formal":[139],"Requirements":[140],"Specification":[141],"languages.":[142],"Therefore,":[143],"we":[144,203],"have":[145,204],"presented":[146],"meta-model":[148,208],"relatively":[151],"mature":[152],"so":[158],"it":[160],"may":[161],"facilitate":[162,190],"future":[164],"researchers":[165],"providing":[167],"reasonable":[169],"level":[170],"abstraction.":[172],"paper":[174],"aims":[175],"reduce":[177],"overhead":[179],"comprehension":[181],"i.e.":[185],"notation":[187],"model-to-model":[191],"transformations":[192],"(source":[193],"model:":[194,198],"model,":[196],"target":[197],"model).":[201],"Further,":[202],"validated":[205],"proposed":[207],"via":[209],"case":[210,221],"study":[211,222],"using":[212],"Use":[214],"Case.":[215],"It":[216],"been":[218],"demonstrated":[219],"through":[220],"Meta":[225],"facilitates":[227,233],"shared":[228],"understanding":[229],"among":[230],"stakeholders":[231],"transformation":[237],"leading":[238],"specification":[242],"but":[243],"also":[245],"automated":[247],"such":[254],"transforms":[258],"informal":[259],"into":[261],"Z-Notation":[263],"specifications.":[264]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}