{“id”：“https://openalex.org/W2740447323“，”doi“：”https://doi.org/10.1007/978-3-319-64119-5_1“，”title“：“我们可以依赖的构建模型：基于模型的验证技术的需求跟踪”，“display_name”：“我们能够依赖的构建模块：基于模型验证技术的要求跟踪”，”publication_year“：2017，”publiation_date“：”2017-01-01“，”ids“：{”openalex“：”https://openalex.org/W2740447323“，”doi“：”https://doi.org/10.1007/978-3-319-64119-5_1“，”mag“：”2740447323“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-64119-5_1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5017900383“，”display_name“：”Marco Filax“，”orcid“：”https://orcid.org/0000-0001-7436-1501}，“机构”：[{“id”：https://openalex.org/I95793202“，”display_name“：”Otto-von-Guericke University Magdeburg“，”ror“：”https://ror.org/00ggpsq73“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I95793202“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Marco Filax“，”raw _affiliation_strings“：[“德国马格德堡Otto-von-Guericke大学软件工程系主任”]，“affiliations”：[{“raw_affiliation _string”：“德国马格德堡Ott von-Guerricke大学软件工程主任”，“机构ID“：[”https://openalex.org/I95793202“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5005101332“，”display_name“：”Tim Gonschorek“，”orcid“：”https://orcid.org/00000-0002-3386-680X}，“机构”：[{“id”：https://openalex.org/I95793202“，”display_name“：”Otto-von-Guericke University Magdeburg“，”ror“：”https://ror.org/00ggpsq73“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I95793202“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Tim Gonschorek“，”raw _ afiliation_strings“：[“德国马格德堡奥托·冯·盖瑞克大学软件工程系主任”]，”affiliations“：[{”raw _affiliation_string“：”德国马格德堡奥托·阿冯·盖里克大学软件工程学系主任”，“机构ID“：[”https://openalex.org/I95793202“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5022743752“，”display_name“：”Frank Ortmeier“，”orcid“：”https://orcid.org/0000-0001-6186-4142}，“机构”：[{“id”：https://openalex.org/I95793202“，”display_name“：”Otto von Guericke大学马格德堡“，”ror“：”https://ror.org/00ggpsq73“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I95793202“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Frank Ortmeier“，”raw _affiliation_strings“：[“德国马格德堡Otto-von-Guericke大学软件工程系主任”]，“affiliations”：[{“raw_affiliation _string”：“德国马格德堡Ott von-Guerricke大学软件工程主任”，”机构ID“：[”https://openalex.org/I95793202“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5017900383“]，”对应的机构ID“：[”https://openalex.org/I95793202“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：2.328，”has_fulltext“：false，”cited_by_count“：2，”citation_normalized_percentile“：{“value”：0.807837，“is_in_top_1_percent”：false“，”is_in_top_10_percennt“：false}，“cited_by_percentile_year”：{“min”：72，“max”：76}，“biblio”：{“volume”：空，“issue”：空first_page“：”3“，”last_page“：”18“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/tractibility网站“，”display_name“：”Traceability“，”score“：0.72699875}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.621544｝，｛”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.607759}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.604755}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.531138}，{”id“：”https://openalex.org/keywords/software-certification网站“，”display_name“：”软件认证“，”score“：0.522116}，{”id“：”https://openalex.org/keywords/requirements-traceability“，”display_name“：”需求跟踪“，”score“：0.50443804}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8352904}，{”id“：”https://openalex.org/C153876917，“wikidata”：https://www.wikidata.org/wiki/Q899704“，”display_name“：”可追溯性“，”level“：2，”score“：0.72699875}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.54027635}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.52637845}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.5129123}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.50954014}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.505615}，{”id“：”https://openalex.org/C35084680，“wikidata”：https://www.wikidata.org/wiki/Q848201“，”display_name“：”需求跟踪“，”level“：5，”score“：0.50443804}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.48954257}，{”id“：”https://openalex.org/C202973057，“wikidata”：https://www.wikidata.org/wiki/Q7380130“，”display_name“：”Runtime verification“，”level“：3，”score“：0.46540362}，{”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.45361543}，{”id“：”https://openalex.org/C6604083，“wikidata”：https://www.wikidata.org/wiki/Q376937“，”display_name“：”需求工程“，”level“：3，”score“：0.38332045}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.36815256}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32683814}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13008636}，{”id“：”https://openalex.org/C135475081，“wikidata”：https://www.wikidata.org/wiki/Q774228“，”display_name“：”Requirement“，”level“：4，”score“：0.12090024}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-64119-5_1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：17，”referenced_works“：[”https://openalex.org/W132594803","https://openalex.org/W1498432697","https://openalex.org/W1519442306","https://openalex.org/W1577971814","https://openalex.org/W168394658","https://openalex.org/W1889085354","https://openalex.org/W1896160926","https://openalex.org/W1955347713","https://openalex.org/W2012067044","https://openalex.org/W2057371423","https://openalex.org/W2061076057","https://openalex.org/W2088636539","https://openalex.org/W2140799462","https://openalex.org/W2418938958","https://openalex.org/W2502401172","https://openalex.org/W2518283397","https://openalex.org/W4234459169“]，”related_works“：[”https://openalex.org/W4319993326","https://openalex.org/W3140458229","https://openalex.org/W2981877881","https://openalex.org/W2899944714","https://openalex.org/W2898126919","https://openalex.org/W2809618173","https://openalex.org/W2472769502","https://openalex.org/W161255303","https://openalex.org/W1573022308","https://openalex.org/W146419099“]，”abstract_inverted_index“：{”Proving“：[0]，”the“：[1,46,68,94152194197]，”safety“：[2,31,9960]，”of“：[3,38,48,70,97139183196]，”a“：[4,8,21,85,98137]，”critical“：[5100]，“system”：[6,55]，”is“：[7,42,67105130186]，”complex“：[9]，”and“：[10,301136157171]，”complicable“：[11]，”任务。“：[12]，”基于模型“：[13]，”正式“：[14,89]，”验证“：[15,91179]，”技术“：[16,92]，”can“：[17]，”帮助“：[18]，”to“：[19,28,34,44,87106169]，”验证“：[20]，”系统“：[22201]，”要求“：[23]，”规范“：[24]，”（SRS）“：[25]，”with“：[26151167202]，”尊重“：[27]，“规范”：[29]，”需求。“：[32]，”到期“：[33]，”an“：[35，71，76158164189]，”早期“：[36]，”应用“：[37]，”这些“：[39]，”方法“：[40]，”it“：[41]，”可能“：[43]，”减少“：[45]，”风险“：[47]，”高“：[49]，”成本“：[50]，”引起“：[51]，”由“：[52111]，”意外“：[53]，”晚“：[54]，”调整“。“：[56]，”然而，“：[57]，”他们“：[58]，”是“：[59142]，”仍然“：[60]，”很少“：[61]，”使用。“：[62]，“一个”：[63]，“原因”：[64]，“中间”：[65]，“其他”：[66]，“缺乏”：[69]，“适用”：[72]，“集成”：[73]，“方法”：[74]，“in”：[75193]，“现有”：[77]，“开发”：[78,95]，“过程”。“：[79]，”In“：[80]，”this“：[81]，”paper“：[82]，”we“：+83]，”suggest“：[84]，”process“：+86146]，”integrate“：[88]，”model-based“：[90]，”into“：[93]，”life-cycle“：[96]，”system“。“：[101]，”The“：[102144181]，”core“：[103]，”idea“：[104]，”systemally“：[107]，”refine“：[108]，”非正式“：[109]，”specifications“：[110]，”（1）“：[112]，”categorifications，“：[113]，”2“：[114]，”structural“：[115]，”exterification“：[11620]，”4）“：[123]，”操作“：[124]，”语义。“：[125]，“To”：[126]，“support”：[127]，“modeling”，“：[128]，“traceability”：[129]，“upsold”：[131]，“through”：[132]，“all”：[133]，“refinement”：[134]，“steps”：[135]，“number”：[138]，“consistency”：[140]，“checks”：[141]，”介绍。“：[143]，”提议“：[145]，”已经“：[147]，”已经“：[148]，”联合“：[149]，”开发“：[150]，”德语“：[153]，”铁路“：[154]，”当局“：[155]，”（欧洲银行业管理局）“：[156]，”认可“：[159]，”评估员。“：[161]，“We”：[162]，“implemented”：[163]，“Eclipse-based”：[165]，“IDE”：/166]，“connections”：[168]，“requirement”：[170]，“systems”：%172]，“engineering”：[173]，“tools”：/174]，“as”：[175177]，“well”：[176]，“variable”：[178]，“引擎。“：[180]，“适用性”：[182]，“我们的”：[184]，“方法”：[185]，“演示”：[187]，“通过”：[188]，“工业规模”：[190]，“案例”：[191]，“研究”：[192]，“上下文”：[195]，“欧洲”：[198]，“列车”：[199]，“控制”：[200]，“ETCS”：[203]，“等级”：[204]，“1”：[205]，“全”：[206]，“监督”。“：[207]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2740447323“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：1}，{”年“：2018，”cited_by_count”：1}]，”更新日期“：”2024-09-15T14:02:16.102067“，”创建日期“：“2017-08-08”}