{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,27]]，“日期-时间”：“2024-03-27T23:44:36Z”，“时间戳”：1711583076039}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：33，“出版者”：“ACM”，“内容-域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2001,9]]}，“DOI”：“10.1145\/503209.503231”，“type”：“proceedings-article”，“created”：{“date-parts”：[2004,4,19]]，“date-time”：“2004-04-19T17:18:43Z”，“timestamp”：108239512300}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：“Crossref”，“is-referenced-by-count”：36，“title”：[“基于协作的软件设计的模块化验证”]，“前缀”：“10.1145”，“作者”：[{“给定”：“凯西”，“家族”：“菲斯勒”，“序列”：“第一个”，“从属关系”：[}“名称”：“马萨诸塞州伍斯特理工学院计算机科学系，马萨诸塞，”}]}，{“已知”：“施里姆”，“家庭”：“克里希纳穆斯”，“顺序”：“附加”，“附属关系”：：“罗得岛州普罗维登斯市布朗大学计算机科学系”}]}]，“成员”：“320”，“在线发布”：{“date-parts”：[[2001,9]]}，“参考”：[{“key”：“e_1_3_2_1_2”，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/64769.734093”}，{“密钥”：“e_1_2_2”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/288195.288305“}，{”键“：”e_1_3_2_1_3_2“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/32.585497”}，{“key”：“e_1_3_2_1_4_2”，“volume-title”：“第一届国际软件产品线会议（SPLC1）指挥控制地面系统产品线研讨会”，“author”：“Batory D.”，“year”：“2000”，“unstructured”：“D.Batory，C.Johnson，B。麦克唐纳和D·冯·海德。FSATS：用于陆军火力支援的可扩展C4I模拟器。2000年8月，在第一届国际软件产品线会议（SPLC1）上举行的指挥与控制地面系统产品线研讨会上。]]D.Batory、C.Johnson、B.MacDonald和D.von Heeder。FSATS：用于陆军火力支援的可扩展C4I模拟器。2000年8月，在第一届国际软件产品线会议（SPLC1）上的指挥与控制地面系统产品线研讨会上。]]“}，{“key”：“e_1_3_2_1_5_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/136586.136587”}，“key“：”e_1_a_2_1_6_2“，”doi-assert-by“：”publisherdoi-asserted-by“：”publisher“，”doi“：”10.1145\/5397.5399“}，{“key”：“e_1_3_2_1_9_2”，“volume-title”：“模型检查”，“author”：“Clarke e.”，“year”：“2000”，“unstructured”：“e.Clarke，O.Grumberg，and D.Peled.模型检查.麻省理工学院出版社，2000年.]]e.Clarke，O.Glumberg和D.Peled.模型检查.MIT出版社，2000“”doi-asserted-by“：”publisher“，”doi“：”10.1145\/337180.337234“}，{“key”：“e_1_3_2_13_2”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/S095679680104208”}，“key“：”e_1_ 3_2_14_2“，”doi-asserted-by“series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”第一页“：”239“，”DOI“：”10.1007\/3-540-49213-5_9“，“卷-时间”：“组成：显著差异”，“作者”：“Finkbeiner B.”，“年份”：“1998”，“非结构化”：“B.Finkbeine，Z.Manna，and H.Sipma。模块化系统的演绎验证。《组成：重大差异》，计算机科学讲义第1536卷，第239-275页。Springer-Verlag，1998年。]]B.Finkbeiner、Z.Manna和H.Sipma。模块化系统的演绎验证。《构图：显著差异》，《计算机科学讲义》第1536卷，第239-275页。Springer-Verlag，1998.]]“}，{“key”：“e_1_3_2_16_2”，“volume-title”：“高阶逻辑定理证明国际会议：新兴趋势，研究报告，INRIA Sophia Antipolis”，“author”：“Fisler K.”，“year”：“1999”，“unstructured”：“K.Fisler，S.Krishnamurthi，and K.e。灰色。实现可扩展定理证明器。国际高阶逻辑定理证明会议：新兴趋势，研究报告，INRIA Sophia Antipolis，1999年9月。]]K.Fisler、S.Krishnamurthi和K.E.Gray。实现可扩展定理证明器。在高阶逻辑定理证明国际会议：新兴趋势，研究报告，INRIA Sophia Antipolis，1999年9月。]]“}，{”key“：”e_1_3_2_18_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/268946.268961“}”，{“key”：“e_1_ 3_2_19_2”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/32.385967”}doi-asserted-by“：”publisher“，”doi“：”10.5555\/646726.703057“}，{“key”：“e_1_3_2_1_21_2”，“volume-title”：“基于组件的软件工程：拼凑在一起”，“author”：“G.T.Heineman and W.T.Council”，“year”：“2001”，“unstructured”：“G T.Heieman and W.T。第一委员会。基于组件的软件工程：把各个部分放在一起。Addison-Wesley，2001年。]]G.T.Heineman和W.T.理事会。基于组件的软件工程：把各个部分放在一起。Addison-Wesley，2001.]]“}，{”key“：”e_1_3_2_1_22_2“，”volume-title“：”计算机协议的设计与验证“，”author“：”Holzmann G.“，”year“：”1991“，”unstructured“：”G.Holzmann.计算机协议的设计与验证。Prentice-Hall，1991。]]G.Holzmann.《计算机协议的制定与验证》。Prentice-Hall，1991.]]“{”key“：“e_1_3_2_1_23_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/352591.352593“}，{“key”：“e_1_ 3_2_1_2 4_2”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BFb0053381”}，“key“：”e_1_a_2_1_25_2“，O.“，”年份“：”1998“，”非结构化”：“O.Kupferman和M.Y.Vardi。模块化模型检查。《计算机科学讲义》第1536卷《作文：显著差异》。Springer-Verlag，1998年。]]O.Kupferman和M.Y.Vardi。模块化模型检查。《组成：显著差异》，计算机科学讲义第1536卷。Springer-Verlag，1998.]]“}，{”key“：”e_1_3_2_1_26_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/646482.691582“}”，{“key”：“e_1_ 3_2_1_2”，“doi-assert-by”：“crossref”，“doi”：“10.1007\/9781-4615-3190-6”，“volume-title”：“符号模型检查”，“author”：“McMillan K.”，“year”：“1993”，“unstructured”：“K。麦克米兰。符号模型检查。Kluwer学术出版社，1993年。]]K.McMillan。符号模型检查。Kluwer Academic Publishers，1993.]]“}，{”issue“：”96717“，”key“：”e_1_3_2_1_29_2“，”首页“：”R99“，”article-title“：”多维空间关注点分离“，”volume“：“21452”，”author“：”Osser H.“，”year“：”1999“，”unstructured“：”H.Osser and P。柏油。超空间中关注点的多维分离。技术报告RC 21452（96717）16AP R99，IBM，1999年。]]H.Ossher和P.Tarr。超空间中关注点的多维分离。技术报告RC 21452（96717）16APR99，IBM，1999.]]“，”journal-title“：”Technical Report RC“}，{“key”：“e_1_3_2_1_30_2”，“series-title”：“计算机科学讲义”，“volume-title”：”软件的假设保证模型检查：一个比较案例研究。在SPIN模型检查的理论和实践方面”，“author”：“Pasareanu C.S.”，“年份”：“1999年”，“非结构化”：“C.S.Pasareanu、M.B.Dwyer和M.Huth。软件的假设保证模型检查：比较案例研究。在SPIN模型检查的理论和实践方面，计算机科学课堂讲稿第1680卷。Springer-Verlag，1999年。]]C.S.Pasareanu、M.B.Dwyer和M.Huth。软件的假设保证模型检查：比较案例研究。在SPIN模型检查的理论和实践方面，计算机科学课堂讲稿第1680卷。Springer-Verlag，1999.]]“}，{”key“：”e_1_3_2_1_31_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/32.485224“}”，{“key”：“e_1_a_2_1_32_2”，“volume-title”：“软件体系结构：新兴学科的视角”，“author”：“Shaw M.”，“year”：“1996”，“unstructured”：“M.Shaw and D。加兰。软件架构：对新兴学科的观点。普伦蒂斯·霍尔，1996年。]]M.Shaw和D.Garlan。软件架构：对新兴学科的观点。Prentice-Hall，1996.]]“}，{”key“：”e_1_3_2_1_33_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/646155.679703“}”，{“key”：“e_1_a_2_1_34_2”，“volume-title”：“Common Lisp:the Language”，“author”：“Steele G.L.”，“year”：“1990”，“unstructured”：“G.L.Steele，Jr.，editor.Common Lisp：the Language.Digital Press，Bedford，MA，第二版，1990.]]通用。小斯蒂尔，编辑。通用语言：语言。数字出版社，马萨诸塞州贝德福德，第二版，1990年。]]“}，{”key“：”e_1_3_2_1_35_2“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/381473.381491“}”，{“key”：“e_1_ 3_2_1_1_36_2”，“volume-title”：“Beyond Object-Oriented Programming”，“author”：“Szyperski C.”，“year”：“1998”，“unstructured”：“C.”。斯齐佩斯基。组件软件：超越面向对象编程。Addison-Wesley，1998年。]]C.斯齐佩尔斯基。组件软件：超越面向对象编程。Addison-Wesley，1998.]]“}，{”key“：”e_1_3_2_1_37_2“，”series-title“：”计算机科学讲义“，”第一页“：”428“，”volume-title“：“计算机辅助验证国际会议”，”author“：”VIS Group“，”year“：”1996“，”unstructured“：”The VIS Group。VIS：验证和合成系统。in R.Alur and T。亨廷格，编辑，《计算机辅助验证国际会议》，计算机科学讲稿第1102卷，第428-432页。Springer-Verlag，1996年7月。]]VIS集团。VIS：用于验证和合成的系统。《计算机辅助验证国际会议》编辑R.Alur和T.Henzinger著，《计算机科学讲稿》第1102卷，第428-432页。Springer-Verlag，1996年7月。]]“}，{“key”：“e_1_3_2_1_39_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/236337.236375”}]，“event”：{“name”：“ESEC\/FSE01:European Software Engineering Conference 2001\/FSE01：软件工程基础2001”，“location”：“Vienna Austria”，“缩写词”：“OSEC\/FSEC01”，“赞助商”：[”CEPIS欧洲专业信息学会理事会“，“维也纳理工大学”，“SIGSOFT ACM软件工程特别兴趣小组”]}，“容器-标签”：[“第八届欧洲软件工程会议记录与第九届ACM SIGSOFT软件工程基础国际研讨会联合举行”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/503209.503231“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,9,4]，”date-time“：“2023-09-04T21:01:49Z”，“timestamp”：1693861309000}，“score”：1，“resource”（资源）：{“primary”（主资源）：}“URL”（URL）：“https:\/\/dl.acm.org\/doi\/10.1145\/503209.503231“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2001,9]]}，“引用计数”：33，”替代id“：[”10.1145\/50320.59.503231 is-idential-to“：[{“id-type”：“doi”，“id”：“10.1145\/503271.503231”，“断言者”：“object“}]}，”subject“：[]，”published“：{”date-parts“：[[2001,9]]}、”assertion“：[{”value“：”2001-09-01“，”order“：2，”name“：”publisheed“，”label“：”published“，“group”：{“name”：“publication_history”，“label”：“publication history”}}]}}