乐胖代购免代理版

{"id":"https://openalex.org/W2897783316","doi":"https://doi.org/10.1109/re.2018.00-24","title":"CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics","display_name":"CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics","publication_year":2018,"publication_date":"2018-08-01","ids":{"openalex":"https://openalex.org/W2897783316","doi":"https://doi.org/10.1109/re.2018.00-24","mag":"2897783316"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/re.2018.00-24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/conference_contribution/CaRE_A_refinement_calculus_for_requirements_engineering_based_on_argumentation_semantics/19852342/1/files/35268772.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044647913","display_name":"Yehia Elrakaiby","orcid":"https://orcid.org/0000-0003-4773-0038"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Yehia Elrakaiby","raw_affiliation_strings":["Lero - University of Limerick"],"affiliations":[{"raw_affiliation_string":"Lero - University of Limerick","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040962321","display_name":"Alessio Ferrari","orcid":"https://orcid.org/0000-0002-0636-5663"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessio Ferrari","raw_affiliation_strings":["CNR-ISTI"],"affiliations":[{"raw_affiliation_string":"CNR-ISTI","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052098157","display_name":"John Mylopoulos","orcid":"https://orcid.org/0000-0002-8698-3292"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]},{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA","IT"],"is_corresponding":false,"raw_author_name":"John Mylopoulos","raw_affiliation_strings":["University of Toronto and University of Trento,"],"affiliations":[{"raw_affiliation_string":"University of Toronto and University of Trento,","institution_ids":["https://openalex.org/I193223587","https://openalex.org/I185261750"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.369,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":8,"citation_normalized_percentile":{"value":0.739672,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":null,"issue":null,"first_page":"364","last_page":"369"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993,"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.9993,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9971,"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.9964,"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/argument","display_name":"Argument (complex analysis)","score":0.49771312},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.45740205}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.70444155},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.6058291},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60438067},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.5632163},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4993081},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.49771312},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.45740205},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42036813},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.39301664},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26833808},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.12630364},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09270534},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/re.2018.00-24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/CaRE_A_refinement_calculus_for_requirements_engineering_based_on_argumentation_semantics/19852342","pdf_url":"https://figshare.com/articles/conference_contribution/CaRE_A_refinement_calculus_for_requirements_engineering_based_on_argumentation_semantics/19852342/1/files/35268772.pdf","source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":["University of Illinois Chicago"],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://figshare.com/articles/conference_contribution/CaRE_A_refinement_calculus_for_requirements_engineering_based_on_argumentation_semantics/19852342","pdf_url":"https://figshare.com/articles/conference_contribution/CaRE_A_refinement_calculus_for_requirements_engineering_based_on_argumentation_semantics/19852342/1/files/35268772.pdf","source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":["University of Illinois Chicago"],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W135733646","https://openalex.org/W1484013926","https://openalex.org/W1968128450","https://openalex.org/W2015899729","https://openalex.org/W2017739343","https://openalex.org/W2064419470","https://openalex.org/W2088166168","https://openalex.org/W2104126268","https://openalex.org/W2115937516","https://openalex.org/W2117818414","https://openalex.org/W2129289644","https://openalex.org/W2150531367","https://openalex.org/W2154085983","https://openalex.org/W22513585","https://openalex.org/W2309644750","https://openalex.org/W282834435","https://openalex.org/W4394658349"],"related_works":["https://openalex.org/W4366827512","https://openalex.org/W4285801815","https://openalex.org/W2757033128","https://openalex.org/W2608001814","https://openalex.org/W2472769502","https://openalex.org/W2242308721","https://openalex.org/W2181998829","https://openalex.org/W2137520080","https://openalex.org/W2062417677","https://openalex.org/W1964566697"],"abstract_inverted_index":{"The":[0,53,114],"requirements":[1,7,35,51,66,70,82],"problem":[2,58],"consists":[3],"of":[4,50,116,123,133],"transforming":[5],"stakeholder":[6],"-":[8],"however":[9],"informal,":[10],"ambiguous,":[11,75],"conflicting,":[12],"unattainable,":[13],"imprecise":[14],"and":[15,22,65,78],"incomplete":[16],"\u2013":[17],"into":[18,44,80],"a":[19,26,31,111],"consistent,":[20],"complete":[21],"realizable":[23],"specification":[24],"through":[25],"systematic":[27],"process.":[28],"We":[29],"propose":[30],"refinement":[32,112],"calculus":[33,54],"for":[34,38,73],"engineering":[36],"(CaRE)":[37],"solving":[39],"this":[40],"problem,":[41],"which":[42],"takes":[43],"account":[45],"the":[46,56,85,90,117,131],"typically":[47],"dialectic":[48],"nature":[49],"activities.":[52],"casts":[55],"requirement":[57],"as":[59],"an":[60],"iterative":[61],"argument":[62],"between":[63],"stakeholders":[64],"engineers,":[67],"where":[68],"posited":[69],"are":[71,93,127],"attacked":[72],"being":[74],"incomplete,":[76],"etc.":[77],"refined":[79],"new":[81],"that":[83,101],"address":[84],"defect":[86],"pointed":[87],"out":[88,95],"by":[89,96,99,121],"attack.":[91],"Refinements":[92],"carried":[94],"operators":[97,118],"provided":[98,120],"CaRE":[100],"refine":[102],"(e.g.,":[103],"strengthen,":[104],"weaken,":[105],"decompose)":[106],"existing":[107],"requirements,":[108],"to":[109,129],"build":[110],"graph.":[113],"semantics":[115],"is":[119],"means":[122],"argumentation":[124],"theory.":[125],"Examples":[126],"given":[128],"illustrate":[130],"elements":[132],"our":[134],"proposal.":[135]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2897783316","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2024-12-09T11:03:42.857738","created_date":"2018-10-26"}