{“id”：“https://openalex.org/W2165086256“，”doi“：”https://doi.org/10.109/ipdps.2007.370521“，”title“：“滚刀系统中设计约束和软件正确性属性的静态验证”，”display_name“：”滚刀系统的设计约束和程序正确性属性静态验证“，”publication_year“：2007，”publiation_date“：”2007-01-01“，”ids“：{”openalex“：”https://openalex.org/W2165086256“，”doi“：”https://doi.org/10.109/ipdps.2007.370521“，”mag“：”2165086256“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/ipdps.2007.370521“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”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”：“”http://www.cag.csail.mit.edu/~rinard/paper/nsfngs07.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5016375266“，”display_name“：”Patrick Lam“，”orcid“：”https://orcid.org/0000-0001-8278-5400}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Patrick Lam“，”raw _affiliation_strings“：[“美国马萨诸塞州剑桥市麻省理工学院计算机科学与人工智能实验室”]，”affiliations“：[{”raw _affiliation_string“：”麻省理工学院计算机科学与人工智能实验室，美国马萨诸塞州剑桥”，“institution_ids”：[“https://openalex.org/I63966007“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5045127387“，”display_name“：”Martin Rinard“，”orcid“：”https://orcid.org/0000-0001-8095-8523}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Martin Rinard“，”raw_affiliation_strings“：[“马萨诸塞州剑桥市麻省理工学院计算机科学与人工智能实验室”]，”affiliations“：[{”raw_affiliation_string“：”麻省理工学院计算机科学与人工智能实验室，美国马萨诸塞州剑桥”，“institution_ids”：[“https://openalex.org/I63966007“]｝]｝]，”countries_destict_count“：1，”institutions_dispict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”citation_normalized_p百分位数“：null，”cited_by_percentle_year“：｛”min“：0，”max“：63｝，”biblio“：｛”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9995，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9995，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9989，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/object-oriented-design网站“，”display_name“：”面向对象设计“，”score“：0.5558409}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.553578}，{”id“：”https://openalex.org/keywords/aspect-oriented-programming网站“，”display_name“：”面向方面编程“，”score“：0.519374}，{”id“：”https://openalex.org/keywords/software-architecture（https://openalex.org/keywords/software-architecture软件体系结构）“，”display_name“：”软件体系结构“，”score“：0.513236}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.507322}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”score“：0.46786025}]，”概念“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.82434475}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7933723}，{”id“：”https://openalex.org/C171018156，“wikidata”：https://www.wikidata.org/wiki/Q7370306“，”display_name“：”三维旋转形式“，”level“：2，”score“：0.6023586}，{”id“：”https://openalex.org/C53073257，“wikidata”：https://www.wikidata.org/wiki/Q7075021“，”display_name“：”面向对象设计“，”level“：3，”score“：0.5558409}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5302434}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.48920465}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.46786025}，{”id“：”https://openalex.org/C2781238097，“wikidata”：https://www.wikidata.org/wiki/Q175026“，”display_name“：”Object（grammar）“，”level“：2，”score“：0.44112912}，{”id“：”https://openalex.org/C52913732，“wikidata”：https://www.wikidata.org/wiki/Q857102“，”display_name“：”软件设计“，”level“：4，”score“：0.41024697}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.39005464}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35195053}，{”id“：”https://openalex.org/C529173508，“wikidata”：https://www.wikidata.org/wiki/Q638608“，”display_name“：”软件开发“，”level“：3，”score“：0.25089902}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11082521}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/ipdps.2007.370521“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1153.6085，“pdf_url”：http://www.cag.csail.mit.edu/~rinard/paper/nsfngs07.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1153.6085，“pdf_url”：http://www.cag.csail.mit.edu/~rinard/paper/nsfngs07.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”score“：0.69，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W151754887","https://openalex.org/W1541825597","https://openalex.org/W1546221080","https://openalex.org/W1552313422","https://openalex.org/W1731421159","https://openalex.org/W1970495662","https://openalex.org/W1984489185","https://openalex.org/W2021672791","https://openalex.org/W2029682051","https://openalex.org/W2031868253","https://openalex.org/W2041388743","https://openalex.org/W2107995193","https://openalex.org/W2144973245","https://openalex.org/W2152720880","https://openalex.org/W2166985644","https://openalex.org/W2318940639","https://openalex.org/W2912166712","https://openalex.org/W4233622783","https://openalex.org/W4236701339","https://openalex.org/W4254354208","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W2956141420","https://openalex.org/W2375695366","https://openalex.org/W2365447764","https://openalex.org/W2356604812","https://openalex.org/W2350603686","https://openalex.org/W2348497170","https://openalex.org/W2144852343","https://openalex.org/W2134207248","https://openalex.org/W1995465248","https://openalex.org/W105559585“]，”ngrams_url“：”https://api.openalex.org/works/W2165086256/ngrams网站“，”“abstract_inverted_index”：{“集合”：[0]，“的”：[1,20,28,39,50,61,70,85,91,99105114142181]，“对象”：[2,41,51,87107]，“是”：[3]，“an”：[4]，“直观”：[5]，“基础”：[6]，“用于”：[7,17,36]，“多”：[8]，“面向对象”：[9]，“设计”：[10,22,44,86101183]，“形式主义”：[11]，“服务”：[12]，“as”：[13135188]，“a”：[14]，“key”：[15]，“concept”：[16]，“描述“：[18]，”元素“：[19]，”：[21，29，37，40，43，48，53，58，62，71，80，971010610109112120128150176193]，”和“：[23，78，88137162179]，”促进“：[24]，”沟通“：[25]，”之间“：[26，82139]，”成员“：[27]，”发展“：[30]，”团队。“：[31]，”It“：[32]，”may“：[33]，”be“：[34]，”natural“：[35]，”set“：[38,49,84,90102141]，”in“：[42,52103108]，”to“：[45,47,76119130165198]，”corresponse“：[46]，”implementation“。“：[54]，”In“：[55]，”practice“：[56]，”然而，“：[57]，”object“：59]，”structure“：[60]，”implementation“：[63,92115151]，”is“：[64196]，”much“：[65]，”more“：[66]，”complex“：[67]，”than“：[68]，”the“：[69149173185192]，”design。“：[72121]，”Hob“：[73161174]，”allows“：[74]，”developers“：[75]，”express“：[77]，”verify“：[79]，”connection“：[81]，”abstract“：[83123140]，”contracte“：[89]，”objects“。“：[93]，“抽象”：[94]，“映射”：[95]，“定义”：[96]，“含义”：[98]，“术语”：[104]，“实现”：[110]，“启用”：[111]，“消除”：[113]，“复杂性”：[116]，“非”：[117]，“相关”：[118]，“安”：[122]，“集”：[124]，“规范”：[125]，“语言”：[126]，“使能”：[127175]，“开发人员”：[129]，“状态”：[131]，“重要”：[132189]，“关系”：[133]，“（例如“：[134]，”包含“：[136]，”不相交）“：[138]，”对象；“：[143]，”我们的“：[144]，”验证“：[145180]，”系统“：[146195]，”静态“：[147]，”检查“：[148]，”正确“：[152]，”保留“：[153]，”这些“：[154]，”设计级别“：[155]，”准确性“：[156190]，”属性。“：[157]，“我们”：[158]，“有”：[159]，“实现”：[160194]，“使用”：[163]，“它”：[164]，“开发”：[166]，“几个”：[167]，“软件”：[168]，“系统”。“：[169]，“我们的”：[170]，“经验”：[171]，“显示”：[172]，“有效”：[177]，“表达式”：[178]，“精确”：[182]，“约束”：[184]，“清单”：[186]，“自身”：[187]，“属性”：[191]，“保证”：[197]，“保留”。“：[199]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2165086256“，”counts_by_year“：[]，”updated_date“：”2024-08-19T12:24:28.917423“，”创建日期“：”2016-06-24“}