{“id”：“https://openalex.org/W2080108368“，”doi“：”https://doi.org/10.1145/1012497.1012500“，”title“：”AIDS to hierarchical specification structuring and reusing theirs in AFFIRM-85“，”display_name“：”AIDS to hierachical specification structuringing and reusinging theirs.“，”publication_year“：1985，”publiction_date“：”1985-08-01“，“ids”：{“openalex”：“https://openalex.org/W2080108368“，”doi“：”https://doi.org/10.1145/1012497.1012500“，”mag“：”2080108368“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1012497.1012500“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S186921487“，”display_name“：”ACM SIGSOFT软件工程注释“，”issn_l“：”0163-5948“，”isn“：[”0163-6948“、”1943-5843“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5046039594“，”display_name“：”David R.Musser“，”orcid“：null}，”institutions“：[]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“，”David R Musser”，“raw_affiliation_strings”：[”Corporate Research&Development Schenectady，New York“]，“affiliations”：[{”raw_affiliation_string“：”Corporite Research_affiliation Schenectad，New Yor“，”instITION_ids“：[]}]}]，“countries_disticont_count”：1，“institutions_distic”：0，“corresponding_author_ids”：[“https://openalex.org/A5046039594“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：3，”citation_normalized_percentile“：{”value“：0.635127，”is_in_top_1_percent“：false，”is.in_top_10_percent.“：false}，”cited_by_percentile_year“：{”min“：66，”max“：69}，“biblio”：{“volume”：“”10“，”问题“：“4”，”第一页“：“2”，”最后一页“：”4“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9955，“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“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9955，“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“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9825，“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“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9785，”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/keywords/structuring网站“，”display_name“：”结构化“，”score“：0.8572253}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.531359}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.517082}，{”id“：”https://openalex.org/关键字/source-code-annalysis“，”display_name“：”源代码分析“，”score“：0.516768}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.513025}，{”id“：”https://openalex.org/keywords/重构“，”display_name“：”重构“，”score“：0.503522}]，”概念“：[{”id“：”https://openalex.org/C2775945657，“wikidata”：https://www.wikidata.org/wiki/Q381442“，”display_name“：”结构化“，”级别“：2，”分数“：0.8572253}，{”id“：”https://openalex.org/C206588197，“wikidata”：https://www.wikidata.org/wiki/Q846574“，”display_name“：”重用“，”级别“：2，”分数“：0.81110334}，{”id“：”https://openalex.org/C2778805511，“wikidata”：https://www.wikidata.org/wiki/Q1713“，”display_name“：”引文“，”level“：2，”score“：0.72928977}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5696691}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.54308313}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.42431393｝，｛”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.33458394}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.31224036}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22740632}，{”id“：”https://openalex.org/C144133560，“wikidata”：https://www.wikidata.org/wiki/Q4830453“，”display_name“：”Business“，”level“：0，”score“：0.10909313}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C548081761，“wikidata”：https://www.wikidata.org/wiki/Q180388“，”display_name“：”废物管理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1012497.1012500“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S186921487“，”display_name“：”ACM SIGSOFT软件工程注释“，”issn_l“：”0163-5948“，”isn“：[”0163-6948“、”1943-5843“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“score”：0.45，“id”：“https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：3，”referrenced_works“：[”https://openalex.org/W1524857134","https://openalex.org/W2015874281","https://openalex.org/W35310721“]，”related_works“：[”https://openalex.org/W756498608","https://openalex.org/W4285395220","https://openalex.org/W4251394462","https://openalex.org/W2493576743","https://openalex.org/W2486167009","https://openalex.org/W2135201366","https://openalex.org/W2131947708","https://openalex.org/W1595575899","https://openalex.org/W1580673008","https://openalex.org/W1510936208“]，”abstract_inverted_index“：{”article“：[0]，”AIDS“：[1]，”to“：[210104106]，”hierarchical“：[3]，”specification“：[4]，”structuring“：[5]，”and“：[6,67]，”重用“：[7]，”定理“：[8]，”in“：[9,99]，”AFFIRM-85“：[10]，”Share“：[11]，”on“：[12,90]，”Author:“：[13]，”David“：[14]，“R.”：[15]，“穆瑟”：[16]，“公司”：[17,24]，“研究”：[18,25]，“&”：[19,26,34]，“开发”：[20,27]，“Schenectady”：[21,28]，“新”：[22,29109]，“约克”：[23]，“YorkView”：[30]，“简介”：[31]，“作者”：[32]，“信息”：[33]，“声明”：[35]，“ACM”：[36]，“SIGSOFT”：[37]，“软件”：[38]，“工程”：[39]，“注释卷”：[40]，“10期”：[41]，“8月4日”：[42]，“1985年“：[43]，”pp“：[44]，”2\u20134https://doi.org/10.1145/1012497.1012500在线：01“：[45]，”August“：[46]，”1985出版“：[47]，”History“：[48]，”2citation64DownloadsMetricsTotal“：[49]，”Citations2Total“：[50]，”Downloads64Last“：[51]，”12“：[52]，”Months0Last“：[53]，”6“：[54]，”weeks0“：[55]，”Get“：[56]，”引文“：[57，59，96]，”AlertsNew“：[58，95]，”Alert“：[60]，”添加了！此“：[61]，”警报“：[62,87]，”已“：[63,82]，”已经“：[64,83]，”成功“：[65]，”添加了“：[66]，”将“：[68,72]，”是“：[69,73]，”发送“：[70]，”致：您“：[71]，”通知“：[74]，”无论何时“：[75]，“a”：[76108]，“记录”：[77]，“that”：[78]，“You”：[79]，“have”：[80]，“被引用为“：[81]”。收件人：“：[84]，”管理“：[85]，”您的“：[86101]，”首选项，“：[88]，”点击“：[89]，”下面的“：/91]，”按钮“：[92]，”。管理“：[93]，”我的“：[94]，”警报！请“：[97]，”日志“：[98]，”帐户“：[102]，”保存“：[103]，”装订保存“：/105]，”活页夹创建“：[107]，”BinderNameCancelCreateExport“：[110]，”引文发布者“：[111]，”站点获取“：[112]，”访问“：[113]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2080108368“，”counts_by_year“：[]，”updated_date“：”2024-08-13T14:28:45.326992“，”创建日期“：”2016-06-24“}