乐胖代购免代理版

{"id":"https://openalex.org/W2043752555","doi":"https://doi.org/10.1109/indin.2014.6945476","title":"Simulative evaluation of contract-based change management","display_name":"Simulative evaluation of contract-based change management","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2043752555","doi":"https://doi.org/10.1109/indin.2014.6945476","mag":"2043752555"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2014.6945476","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002008718","display_name":"Markus F. Oertel","orcid":"https://orcid.org/0000-0001-5121-5376"},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Oertel","raw_affiliation_strings":["OFFI e.V. R&D Division Transportation Escherweg 2, Oldenburg"],"affiliations":[{"raw_affiliation_string":"OFFI e.V. R&D Division Transportation Escherweg 2, Oldenburg","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005295451","display_name":"Sebastian Gerwinn","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Gerwinn","raw_affiliation_strings":["OFFIS e.V. R&D Division Transportation Escherweg 2, Oldenburg"],"affiliations":[{"raw_affiliation_string":"OFFIS e.V. R&D Division Transportation Escherweg 2, Oldenburg","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110191210","display_name":"Achim Rettberg","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"funder","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Achim Rettberg","raw_affiliation_strings":["University of Oldenburg Department of Computer Science Escherweg 2, Oldenburg"],"affiliations":[{"raw_affiliation_string":"University of Oldenburg Department of Computer Science Escherweg 2, Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.665,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.346332,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":66,"max":73},"biblio":{"volume":null,"issue":null,"first_page":"16","last_page":"21"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9989,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9979,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.568271},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.43198806},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.41274396}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8023889},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7907125},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.57653034},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.568271},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48242983},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.43930334},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.43198806},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.41274396},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34953186},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3205527},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2518405},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15086728},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09339368},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2014.6945476","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":9,"referenced_works":["https://openalex.org/W1498033680","https://openalex.org/W1506784356","https://openalex.org/W156366748","https://openalex.org/W1996707031","https://openalex.org/W2140252453","https://openalex.org/W2198396001","https://openalex.org/W2395935692","https://openalex.org/W2540564581","https://openalex.org/W4301755221"],"related_works":["https://openalex.org/W3209085687","https://openalex.org/W3120172095","https://openalex.org/W2533078207","https://openalex.org/W2153955347","https://openalex.org/W2125238773","https://openalex.org/W2118572231","https://openalex.org/W2108860137","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W1928822090"],"abstract_inverted_index":{"Modular":[0],"verification":[1],"approaches":[2,83,160],"have":[3],"recently":[4],"gained":[5],"attention":[6],"to":[7,33,90,139],"enable":[8],"cost":[9],"efficient":[10],"handling":[11],"of":[12,39,47,64,81,88,95,115,129,144,151],"changes":[13,117,130,152],"in":[14,21,58,137],"safety":[15],"critical":[16,149],"embedded":[17],"systems.":[18],"First":[19],"results":[20,77],"this":[22,72,131],"field":[23],"are":[24],"based":[25],"on":[26],"formal":[27],"languages":[28],"and":[29,42,50,97],"iterative":[30],"change":[31,41,49],"processes":[32],"analyze":[34],"the":[35,40,45,48,61,68,79,105,108,113,119,140,148,154],"neighboring":[36],"design":[37],"elements":[38],"thereby":[43],"determine":[44],"effects":[46],"possible":[51],"inconsistencies.":[52],"The":[53],"alternative,":[54],"being":[55],"mostly":[56],"applied":[57],"practice,":[59],"is":[60,164],"complete":[62,145],"re-verification":[63,101],"modules":[65],"or":[66],"even":[67],"whole":[69],"product.":[70],"In":[71],"paper":[73],"we":[74,122],"present":[75],"simulation":[76],"comparing":[78],"effectiveness":[80],"both":[82,159],"by":[84],"analyzing":[85],"their":[86],"effort":[87,109],"re-validation":[89],"regain":[91],"a":[92,126,134],"consistent":[93],"set":[94],"requirements":[96],"implementations.":[98],"As":[99],"modular":[100],"strategies":[102],"execute":[103],"only":[104],"needed":[106],"analyzes,":[107],"progresses":[110],"linearly":[111],"with":[112],"number":[114,128],"necessary":[116],"within":[118],"system.":[120],"Consequently,":[121],"find":[123],"that":[124],"for":[125],"small":[127],"approach":[132,143],"presents":[133],"huge":[135],"saving":[136],"contrast":[138],"commonly":[141],"used":[142],"re-verification.":[146],"Surprisingly,":[147],"portion":[150],"over":[153],"system":[155],"size":[156],"at":[157],"which":[158],"perform":[161],"equally":[162],"well":[163],"relatively":[165],"small.":[166]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2043752555","counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-04-16T22:13:26.047686","created_date":"2016-06-24"}