{“id”：“https://openalex.org/W2047276559“，”doi“：”https://doi.org/10.1023/b:form.0000017719.43755.7c“，”title“：”Java-MaC:Java程序的运行时保证方法“，”display_name“：”Java MaC:Java软件的运行时保障方法“，“publication_year”：2004，“publiation_date”：“2004-02-26”，“ids”：{“openalex”：“”https://openalex.org/W2047276559“，”doi“：”https://doi.org/10.1023/b:form.0000017719.43755.7c“，”mag“：”2047276559“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1023/b:form.0000017719.43755.7c“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S3845260“，”display_name“：”系统设计中的形式化方法“，”issn_l“：”0925-9856“，”isn“：[”09259856“，”1572-8102“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”url“：”https://repository.upenn.edu/cgi/viewcontent.cgi？article=1076&context=cis_papers“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5081305477“，”display_name“：”Moonzoo Kim“，”orcid“：”https://orcid.org/0000-0002-1424-1177}，“机构”：[{“id”：https://openalex.org/I123900574“，”display_name“：”浦项科技大学“，”ror“：”https://ror.org/04xysgw12“，”country_code“：”KR“，”type“：“教育”，”世系“：[”https://openalex.org/I123900574“]}]，”国家“：[”KR“]，”is_corresponding“：false，”raw_author_name“：”MoonZoo Kim“，”raw _ afiliation_strings“：[“韩国浦项科技大学计算机科学与工程系”]，”affiliations“：”韩国浦项科技大学计算机科学与工程系“，”institution_ids“：[”https://openalex.org/I123900574“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076852218“，”display_name“：”Mahesh Viswanathan“，”orcid“：”https://orcid.org/0000-0001-977-0080}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Mahesh Viswanathan“，”raw _ afiliation_strings“：[“美国伊利诺伊大学厄本那-香槟分校计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”美国伊利诺依大学厄本纳-香槟学院计算机科学系“，”institution_ids“：[https://openalex.org/I157725225“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5103555404“，”display_name“：”Sampath Kannan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I79576946“，”display_name“：”宾夕法尼亚大学“，”ror“：”https://ror.org/00b30xv10“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I79576946“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sampath Kannan“，”raw _ afiliation_strings“：[“美国宾夕法尼亚大学计算机与信息科学系”]，”affiliations“：[{”raw_ afiliation _string“：”美国宾夕法尼亚大学计算与信息科学学院“，”institution_ids“：[https://openalex.org/I79576946“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5030456600“，”display_name“：”Insup Lee“，”orcid“：”https://orcid.org/0000-0003-2672-1132}，“机构”：[{“id”：https://openalex.org/I79576946“，”display_name“：”宾夕法尼亚大学“，”ror“：”https://ror.org/00b30xv10“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I79576946“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Insup Lee“，”raw _ afiliation_strings“：[“美国宾夕法尼亚大学计算机与信息科学系”]，”affiliations“：[{”raw_ afiliation _string“：”美国宾夕法尼亚大学计算与信息科学学院“，”institution_ids“：[https://openalex.org/I79576946“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5082105260“，”display_name“：”Oleg Sokolsky“，”orcid“：”https://orcid.org/0000-0001-5282-0658}，“机构”：[{“id”：https://openalex.org/I79576946“，”display_name“：”宾夕法尼亚大学“，”ror“：”https://ror.org/00b30xv10“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I79576946“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Oleg Sokolsky“，”raw _ afiliation_strings“：[“美国宾夕法尼亚大学计算机与信息科学系”]，”affiliations“：[{”raw_ afiliation _string“：”美国宾夕法尼亚大学计算与信息科学学院“，”institution_ids“：[https://openalex.org/I79576946“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]，“apc_list”：{“value”：2690，“currency”：“EUR”，“value_usd”：3490，“provenance”：“doaj”}，”apc_payed“：null，”fwci“：13.71，”has_fulltext“：true，”全文_origin“：”ngrams“，”cited_by_count“：221，”引用_规范化_percentile“：{”value“：0.999852，”is_in_top_1_percent“：true，”is-in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：98，“max”：99}，“biblio”：{“volume”：“24”，“issue”：“2”，“first_page”：“129”，“last_page”：”155“}，‘is_retracted’：false，“is_paratext”：false、“primary_topic”：{“id”：“”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9983，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9969，”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/model-checking“，”display_name“：”模型检查“，”score“：0.551583}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.548505}，{”id“：”https://openalex.org/keywords/architecture-based-approach网站“，”display_name“：”基于架构的方法“，”score“：0.512583}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8523154}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7069801}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.6225077}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.52289766}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.49743298}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4966727｝，｛”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.47284132}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.470155}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.463219}，{”id“：”https://openalex.org/C123657996，“wikidata”：https://www.wikidata.org/wiki/Q12271“，”display_name“：”Architecture“，”level“：2，”score“：0.45842376}，{”id“：”https://openalex.org/C2780598303，“wikidata”：https://www.wikidata.org/wiki/Q65921492“，”display_name“：”灵活性（工程）“，”level“：2，”score“：0.43116218}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.4146949}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.33804256}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”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/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”Visual arts“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1023/b:form.0000017719.43755.7c“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S3845260“，”display_name“：”系统设计中的形式化方法“，”issn_l“：”0925-9856“，”isn“：[”09259856“，”1572-8102“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://repository.upenn.edu/cgi/viewcontent.cgi？article=1076&context=cis_papers，“pdf_url”：https://repository.upenn.edu/cgi/viewcontent.cgi？article=1076&context=cis_papers，“源”：{“id”：https://openalex.org/S4306402083“，”display_name“：”ScholarlyCommons（宾夕法尼亚大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I79576946“，”“host_organization_name”：“宾夕法尼亚大学”，“host_ordanization_lineage”：[“https://openalex.org/I79576946“]，”host_organization_lineage_names“：[”宾夕法尼亚大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.227.598，“pdf_url”：http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.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”：“https://repository.upenn.edu/cgi/viewcontent.cgi？article=1076&context=cis_papers，“pdf_url”：https://repository.upenn.edu/cgi/viewcontent.cgi？article=1076&context=cis_papers，“源”：{“id”：https://openalex.org/S4306402083“，”display_name“：”ScholarlyCommons（宾夕法尼亚大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I79576946“，”“host_organization_name”：“宾夕法尼亚大学”，“host_ordanization_lineage”：[“https://openalex.org/I79576946“]，”host_organization_lineage_names“：[”宾西法尼亚大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1506588809","https://openalex.org/W1518604050","https://openalex.org/W1559362703","https://openalex.org/W1573344143","https://openalex.org/W1577352907","https://openalex.org/W1812518962","https://openalex.org/W1944945674","https://openalex.org/W1979344622","https://openalex.org/W1998490923","https://openalex.org/W2034717157","https://openalex.org/W2111964583","https://openalex.org/W2113560220","https://openalex.org/W2116678681","https://openalex.org/W2119965246","https://openalex.org/W2135274583","https://openalex.org/W2146636097","https://openalex.org/W2157560459","https://openalex.org/W2163228844","https://openalex.org/W2171480813","https://openalex.org/W2525216991","https://openalex.org/W3169000564","https://openalex.org/W54297347“]，”related_works“：[”https://openalex.org/W4362734964","https://openalex.org/W3141090108","https://openalex.org/W2943166641","https://openalex.org/W2589343889","https://openalex.org/W2556057931","https://openalex.org/W2151814790","https://openalex.org/W2142545871","https://openalex.org/W2026335217","https://openalex.org/W1977144985","https://openalex.org/W1518604050“]，”abstract_inverted_index“：{”We“：[0]，”describe“：[1]，”Java-MaC“：[2]，”a“：[3,31,59,99107170210]，”prototype“：[4211]，”implementation“：[5179212]，”of“：[6,41,58,76,80,93120125143149169192205]，”the“：[7,22,39,42,49,56,74,77,90,94111121126141150153167176185190206]，”Monitoring“：[8]，”and“：[9,37,65,87130161188209]，“检查“：[10]，”（MaC）“：[11]，”体系结构“：[12,18122151186208]，”for“：[13]，”Java“：[14]，”programs。“：[15]，”The“：[16200]，”MaC“：[17,47,95,97207]，”provides“：[19]，”assurance“：[20]，”that“：[21]，”target“：[23,43127177]，”program“：[24,44178]，”is“：[25,89,98152]，”running“：[26]，”correctly“：[27]，“：[33]，”规范“：[34173]，”由“：[35]，”监视“：[36,86157]，”检查“：[38,88131162]，”执行“：[40]，”在“：[45]，”运行时。“：[46]，”桥“：[48]，”差距“：[50]，”介于“：[51156]，”验证“：[53]，”其中“：[54,67104139165]，”确保“：[55]，”正确性“：[57,75]，”设计“：[60]，”而不是“：[61]，”比“：[62]，”an“：[63203]，”实现“：[64]，”测试“：[66]，”不“：[68]，”否“：[69]，”提供“：[70]，”保证“：[72]，“关于”：[73]，“系统。“：[78]，”使用“：[79]，”要求“：[82172]，”规范“：[83]，”in“：[84]，”运行时“：[85]，”显著“：[91]，”方面“：[92]，”体系结构。“：[96199]，”轻型“：[100]，”方法“：[102]，”解决方案“：[103]，”工作“：[105]，”作为“：[106]，”可行“：[108]，”补充“：[109]，”当前“：[112]，”重量级“：[113]，“方法。“：[115]，”In“：[116]，”addition“：+117]，”analysis“：[118]，”process“：[119]，”including“：[123]，”instrumentation“：[124]，”plan“，”：[128]，”monitoring，“：[129]，”are“：%132]，”performed“：[133]，”fully“：[134]，”automatically“:[135]，”without“：[136]，”human“：[137]，”direction“：%138]，”imenses“：[140]，”accuration“。“：[145]，”另一个“：[146]，”重要“：[147]，”特征“：[148]，”清除“：[154]，”分离“：[155183]，”实现依赖“：[158]，”低级“：[159]，”行为“：[160]，”高级“：[163171]，”行动“：[164]，”允许“：[166189]，”重用“：[168]，”偶数“：[174]，”时间“：[175]，”更改。“：[180]，”“此外，”：[181]，“这个”：[182]，“制造”：[184]，“模块化”：[187]，“灵活性”：[191]，“合并”：[193]，“第三方”：[194]，“当事人”：[195]，“工具”：[196]，“并入”：[197]，“论文”：[201]，“呈现”：[202]，“概述”：[204]，“Java-MaC。“：[213]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2047276559“，”counts_by_year“：[{”年“：2024，”cited_by_count“：5}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：2}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：14}，{“年份”:2016，“引用_by_counts”：9}，}“年份“：2015，”引用_by_count“：11}，{“年份”：2014，“引用_by-count”：9}，}“年份“：2013，”引用_by/count“:15}，”年份“：2012，”引用_ by_counts“：21}]，“更新日期”：“2024-09-27T10:33:06.329261”，“创建日期”：”2016-06-24“}