{“id”：“https://openalex.org/W2234393480“，”doi“：”https://doi.org/10.4230/dagrep.2.7.1“，”title“：”AI meet Formal Software Development（Dagstuhl Seminar 12271）“，”display_name“：”AI meet Formal Software Development（达格斯图尔研讨会12271）”，“publication_year”：2012，“publiction_date”：“2012-10-05”，“ids”：{“openalex”：“https://openalex.org/W2234393480“，”doi“：”https://doi.org/10.4230/dagrep.2.7.1“，”mag“：”2234393480“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/DagRep.2.7.1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306507525“，”display_name“：”Dagstuhl reports“，”issn_l“：”2192-5283“，”isn“：[”21925-283“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：null，“version”：null，“is_accepted”：false“is_published”：false}，“type”：“文章“，”type_crosref“：”journal-article“，”indexed_in“：[]，”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/A5057006622“，”display_name“：”Alan Bundy“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Alan Bandy“，”raw _affiliation_strings“：]，”affiliations“：[/]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5019184468“，”display_name“：”Dieter Hutter“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_correresponsing“：false，”raw_author_name“：”Dieter Hutter“，”raw_affiation_strings“：[]，”affiliations“：[]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5088721841“，”display_name“：”Cliff B.Jones“，”orcid“：”https://orcid.org/0000-0002-3024-225X“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Cliff B.Jones“，”raw _ afiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5046673609“，”“display_name”“：”J Strother Moore“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”“J Strother Moore”“，”raw _affiliation_strings“：]，”affiliations“：[/]}]，”countries_distiction_count“：0，”instistictions_distect_count空，“apc_payd“：null，”fwci“：0.429，”has_fulltext“：false，”cited_by_count“：2，”ciped_by_percentile_year“：{”min“：75，”max“：79}，”biblio“：{-”volume“：”2“，”issue“：”7“，”first_page“：”29“，”last_page“：null}，“is_retracted”：false“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9961，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9961，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9955，”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/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9908，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”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/formal-verification网站“，”display_name“：”形式验证“，”score“：0.47681}]，”concepts“：[{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.6927173}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.66826004}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.5573315}，{”id“：”https://openalex.org/C529173508，“wikidata”：https://www.wikidata.org/wiki/Q638608“，”display_name“：”软件开发“，”level“：3，”score“：0.5374994}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.51792306}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.47928232}，{”id“：”https://openalex.org/C180152950，“wikidata”：https://www.wikidata.org/wiki/Q2904257“，”display_name“：”软件开发过程“，”level“：4，”score“：0.44878554}，{”id“：”https://openalex.org/C2778755073，“wikidata”：https://www.wikidata.org/wiki/Q10858537“，”display_name“：”Scale（ratio）“，”level“：2，”score“：0.42845082}，{”id“：”https://openalex.org/C2776542497，“wikidata”：https://www.wikidata.org/wiki/Q5266672“，”display_name“：”开发（拓扑）“，”级别“：2，”分数“：0.4226473}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2454893}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.060486555}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/DagRep.2.7.1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306507525“，”display_name“：”Dagstuhl reports“，”issn_l“：”2192-5283“，”isn“：[”21925-283“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：null，“version”：null，“is_accepted”：false“is_published”：false}]，“最佳位置“：null，”可持续发展目标“：[{”分数“：0.61，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：2，”referrenced_works“：[”https://openalex.org/W2076409494","https://openalex.org/W2099161642“]，”related_works“：[”https://openalex.org/W637782673","https://openalex.org/W3048766233","https://openalex.org/W3048771688","https://openalex.org/W3034922941","https://openalex.org/W2900071176","https://openalex.org/W2461583223","https://openalex.org/W2349269724","https://openalex.org/W2157362923","https://openalex.org/W2098799476","https://openalex.org/W2077359497","https://openalex.org/W207120864","https://openalex.org/W1950768068","https://openalex.org/W1870189519","https://openalex.org/W1839235158","https://openalex.org/W1794841650","https://openalex.org/W1588758520","https://openalex.org/W1536184977","https://openalex.org/W1530008925","https://openalex.org/W1506981073","https://openalex.org/W130360756“]，”ngrams_url“：”https://api.openalex.org/works/W2234393480/ngrams网站“，”abstract_inverted_index“：{”This“：[0]，”report“：[1]，”documents“：[2]，”the“：[3,6,29,36,59]，”program“：[4]，”and“：[5,24,42,52]，”results“：[7]，”of“：[8,31,48]，”Dagstuhl“：[9]，”Seminar“：[10]，”12271“：[11]，”`AI“：[12]，”meets“：[13]，”Formal“：[14]，“Software”：[15]，“开发”。\r\n此“：[16]，”研讨会“：[17]，”带来“：[18]，”一起“：[19]，”研究人员“：[20]，”来自“：[21,50]，”形式“：[22,37]，”方法“：[23]，”人工智能“：[25]，”\r\n“：[26]，”参与者“：[27,49]，”地址“：[28]，”问题“：[30]，”如何“：[32]，”AI“：[33]，”可以“：[34]，”援助“：[35]，”软件开发“：[38]，”过程“：[39]，”包括“：[40]，”建模“：[41]，”证明。\\r\n其中“：[43]，”was“：[44]，”a“：[45]，”令人满意“：[46]，”number“：[47]，”industry“：[51]，”this“：[P3]，”made“：[54]，”it“：[55]，”possible“：[56]，”to“：[57]，”ground“：[58]，”discussions“：[60]，”on“：[61]，”industrial-scale“：[62]，”problems。“：[63]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2234393480“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-06-23T21:56:37.079542“，”创建日期“：“2016-06-24”}