{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,9,17]]，“日期-时间”：“2023-09-17T07:01:48Z”，“时间戳”：1694934108331}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：31，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-striction“：true}，”short-container-title“（限制）：[]，“已发布的印刷品”：｛“日期部分”：[[2008,11,9]]｝，“DOI”：“10.1145\/14531011453123”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2008,11,11]]，“日期时间”：“2008-11-11T112:59:40Z”，“时间戳”：1226408380000｝，“更新策略”：“http:\/\/dx.DOI.org/10.1145\/crosmark policy”，“来源”：“Crossref”，“由计数引用”：13，“标题”：[“炼金术”]，“前缀”：“10.1145”，“作者”：[｛“给定”：“Shriram”，“家族”：“Krishnamurthi”，“序列”：“第一”，“附属关系”：[｛“名称”：“布朗大学”｝]｝，｛“给定”：“Kathi”，“家族”：“Fisler”，“序列”：“附加”，“附属关系”：[｛“名称”：“WPI”｝]｝，｛“给定”：“Daniel J.”，“家族”：“Dougherty”，“序列”：“附加”，“附属关系”：[｛“名称”：“WPI”｝]}，{“给定”：“丹尼尔”，“family”：“Yoo”，“sequence”：“additional”，“affiliation”：[{“name”：“WPI”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2008,11,9]]}，“reference”：[}“key”：“e_1_3_2_1_1_1”，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/236705“}，{”key“：”e_3_2_2_1_1“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/3857.3859”}，{“key”：“e_1_3_2_1_3_1”，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/2363.2528”}，{“key”：“e_1_3_2_1_4_1”，”DOI-asserted-by“：”publisher I“：”10.1145\/185827.185828“}，{“key”：“e_1_3_2_1_7_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/0306-4379（94）90002-7”}，{“key”：“e_1_3_2_1_8_1”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1145\/94905.949314“}，”{“密钥”：“e_1_3_2_1_9_1”、“DOI-sserted-by“：”publisher y“：”publisher“，”DOI“：”10.1145\/1101815.1101819“}，{”key“：”e_1_3_2_11_1“，”volume-title“：“巴西形式方法研讨会”，“作者”：“Gheyi R.”，“年份”：“2007”}y“：”publisher“，”doi“：”10.1145\/509252.509264“}，{”key“：“e_1_3_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/785408.785596“}，{“key”：“e_ 1_3_2 _1_16_1”、“doi-sserted-by“：”publisher“，“doi”：“10.1145\/355045.355063”}，“key“：”e_1_ 3_2_17_1“，”unstructured“：”D.Jackson。软件抽象。麻省理工学院出版社2006。D.杰克逊。软件摘要。麻省理工学院出版社2006年。“}，{”key“：”e_1_3_2_1_18_1“，”volume-title“：”IEEE Computer“，“author”：“Jackson D.”，“year”：“1996”}，“key”：“e_1_3_2_1_19_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/357084.357090“}”，{}，{“key”：“e_1_3_2_1_22_1”，“volume-title”：“Addison-Wesley”，“author”：“Mellor S.J.“，”年份“：“2002”}，{“key”：“e_1_3_2_1_23_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1247480.1247532“}，”key“：”e_1_ 3_2_1_2“，”doi-assert-by“：”publisher“，“Nentwich C.”，“年份”：“2003”}，{“密钥”：“e_1_3_2_1_26_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/69.971192”}，{“key”：“e_1_3_2_1_27_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/947955.1083808“}，”{“密钥”：“e_1_ 3_2_1_2 8_1”、“doi-aserted-by-by”：“publisher”，“DI:”10.1109\/2.75“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0004-3702（85）90083-9“}，{”key“：”e_1_3_2_1_30_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/38714.38753”}，{“key”：“e_1_ 3_2_1_1_31_1”，“doi-asserted-by”：”publisher“，”doi“：”10.5555 \/552895.857365“}，”{“key”：”e_1_a_2_1_32_1“，”volume-title“：”人工智能国际联合会议“，”作者：“Waldinger R.J.”，”年份：“1969”}]，“event：{“名称”：SIGSOFT'08\/FSE-16:SIGSOFT 2008-第十六届软件工程基础国际研讨会”，“地点”：“佐治亚州亚特兰大”，“缩写”：“SIGSOFT_08\/FSE-16”，“赞助商”：[“SIGSOffT ACM软件工程特别兴趣小组”]}，“集装箱标签”：[”第十六届ACM SIGSOFT国际软件工程基础研讨会论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1453101.1453123”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,12]]，“date-time”：2023-01-12T01:38:13Z“，”timestamp“：1673487493000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1453101.1453123”}}，“subtitle”：[“将基本合金规范转换为实现”]，“shorttitle”：[]，“issued”：“{”date-parts“：[[2008,11,9]]}”references-count“：31，”alternative-id“：[”10.1145\/1453101.1453123“，”10.1145\/1453101“]，“URL”：“http://\/dx.doi.org\/10.11453123”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2008,11,9]]}，”断言“：[{“值”：“2008-11-09”，“顺序”：2，“名称”：“发布”，“标签”：“已发布”，”组“：{”名称“：”publication_history“，”标签“：“发布历史”}}]}}