{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,2]，“日期时间”：“2024-05-02T04:34:10Z”，“时间戳”：1714624450912}，“出版商位置”：“柏林，海德堡”，“参考计数”：31，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540752936”，“类型”：“打印”}，{“值”：“9783540752943”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”用法：[2007]]}，“DOI”：“10.1007\/978-3-540-75294-3_7”，“type”：“book-chipter”，“created”：{“date-parts”：[[2007,9,11]]，“date-time”：“2007-09-11T10:52:08Z”，“timestamp”：1189507928000}，”page“：”75-94“，”source“：“Crossref”，“is-referenced-by-count”：5，“title”：[“Architecture-Centric Fault Tolerance with Exception Handling”]，“prefix”：“10.1007“，”作者“：[{”给定“：“Patrick Henrique S.”，“family”：“Brito”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Rog\u00e9rio”，“家族”：“de Lemos”，“序列”：“additional”，“从属关系”：[]}，}“gived”：“Eliane”，“家庭”：“Martins”，附加“，”从属“：[]}]，”成员“：“297”，“reference”：[{“key”：“7_CR1”，“doi-asserted-by”：“crossref”，”doi“：“10.1017\/CBO9780511624162”，“volume-title”：“The B-book:assigning programs to meansions”，“author”：“J.-R.Abrial”，“year”：“1996”，“unstructured”：“Abrial，J.-R.：The B-book：assigning Programms to mes.Cambridge University Press，New York（1996）”}，{“密钥”：“7 _CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“100”，“doi”：“10.1007\/3-540-45510-8_4”，“volume-title”：“并行进程的建模与验证”，“author”：“T.Amnell”，“year”：“2001”，“unstructured”：“Amnell，T.、Behrmann，G.、Bengtsson，J.、D\u2019Argenio，P.R.、David，A.、Fehnker，A.、Hune，T.，Jeannet，B.、Larsen，K.G.、M\u00f6ller，M.O.、Pettersson，P.、Weise，C.、Yi，W.：Uppaal-现在、未来和未来。收录：Cassez，F.、Jard，C.、Rozoy，B.、Dermot，M.（编辑）MOVEP 2000。LNCS，第u00a02067卷，第100\u2013125页。Springer，Heidelberg（2001）“}，{“key”：“7_CR3”，“volume-title”：“容错：原则与实践”，“author”：“T.Anderson”，“year”：“1981”，“unstructured”：“Anderson，T.，Lee，P.A.：容错：原则和实践。Prentice-Hall，Englewood Cliffs（1981）”}，}年”：“2003年”，“非结构化”：“Bass，L.，Clements，P.C.，Kazman，R.：《实践中的软件架构》，第2版。Addison-Wesley，Reading（2003）“，”edition“：”2“}，{”key“：”7_CR5“，”doi-asserted-by“：”publisher“，”first page“：“85”，“doi”：“10.1016\/j.entcs.2004.02.084”，“volume”：“116”，“author”：“A.Bertolino”，“year”：“2005”，“unstructured”：“Bertolino，A.，Marchetti，E.，Muccini，H.：介绍一种合理完整且连贯的基于模型的测试方法。选举人。注释Theor。计算。科学。\u00a0116，85\u201397（2005）“，“新闻标题”：“选举。注释Theor。计算。科学。“}，{”key“：”7_CR6“，”volume-title“：”测试面向对象的系统：模型、模式和工具“，”author“：”R.V.Binder“，”year“：”1999“，”unstructured“：”Binder，R.V.：“测试面向对象系统：模型，模式和工具。Addison-Wesley Longman Publishing Co.，Inc.，Redwood City，CA，USA（1999）“}Brito，P.H.S.，de Lemos，R.，Martins，E.，Rubira，C.M.F.：容错架构抽象的验证和确认。摘自：英国苏格兰爱丁堡DSN可靠系统架构研讨会（WADS 2007）（2007年接受出版）“}，{“issue”：“3”，“key”：“7_CR8”，“doi-asserted-by”：“publisher”，“first-pages”：“560”，“doi”：“10.1145\/828.833”，”volume“：”31“author”：“S.D.Brookes”，“year”：“1984”，“unstructured”：“Brookes，S.D.，Hoare，C.A.R.，Roscoe，A.W.：沟通顺序过程的理论。J.ACM\u00a031（3），560\u2013599（1984）“，”journal-title“：”J.ACM“}，{“key”：“7_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Castor Filho，F.，Cacho，N.，Figueiredo，E.，Ferreira，R.，Garcia，A.，Rubira，C.M.F.：例外和方面：细节决定成败。摘自：第14届ACM SIGSOFT FSE会议记录，第152\u2013162页（2006年11月）”，“DOI“：”10.1145\/11181775.1181794“}，{“key”：“7_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Castor Filho，F.，da Silva Brito，P.H.，Rubira，C.M.F.：软件体系结构中异常流规范。《系统与软件杂志》（2006年10月）”，“DOI”：“10.1016\/j.jss.2006.02.060”}，}，“key“：”7_CR11“series-title”：“计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：”321“，”doi“：”10.1007\/978-3-540-45214-0_23“，”volume-title“：”可靠计算“，”author“：”F.Castor Filho“，“year”：“2003”，”unstructured“：”Castor Filyo，F.，de Castro Guerra，P.A.，Rubira，C.M.F.：用于基于组件的应用程序的架构级异常处理系统。收录人：de Lemos，R.，Weber，T.S.，Camargo Jr.，J.B.（编辑）LADC 2003。LNCS，第u00a02847卷，第321\u2013340页。Springer，Heidelberg（2003）“}，{“key”：“7_CR12”，“volume-title”：“Documenting Software Architectures:Views and Beyond”，“author”：“P.Clements”，“year”：“2003”，“unstructured”：“Clements.，P.，et al.：Documenting Software Architectures：Views and Beyond。Addison-Wesley，Reading（2003）”}，“{”key“：”7_CR13“非结构化”：“Cristian，F.：异常处理。参见：《弹性计算机的可靠性》，第68页\u201397。Blackwell（1989）“｝，｛”key“：”7_CR14“，”doi asserted by“：”crossref“，”nonstructured“：”da Silva Brito，P.H.，de Lemos，R.，Filho，F.C.，Rubira，C.M.F.：以体系结构为中心的容错和异常处理。技术报告IC-07-04。坎皮纳斯州立大学（2007年2月）”，“DOI”：“10.1007\/978-3-540-75294-3_7”}，{“key”：“7_CR15”，“series title”：“计算机科学讲义”，“DOI断言者”：“出版商”，“首页”：“61”，“DOI”：“10.1007\/11572329_8”，“卷标题”：“可靠计算”，“作者”：“P.H.S.Brito”，“年份”：“2005”，“非结构化”：“Brito，P.H.S.，Rocha，C.R.，Castor Filho，F.，Martins，E.，Rubira，C.M.F.：基于组件的软件开发中建模和测试异常的方法。收录人：Maziero，C.A.、Silva，J.G.、Andrade，A.M.S.、Assis Silva、F.M.d.（编辑）LADC 2005。LNCS，第u00a03747卷，第61\u201379页。Springer，Heidelberg（2005）“}，{”key“：”7_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“129”，”doi“：”10.1007\/3-540-45177-3_6“，“volume-title”：“构建可靠系统”，“author”：“P.A.Castro Guerra de”，“year”：“2003”，“非结构化”：“de Castro Guerra，P.A.，Rubira，C.，de Lemos，R.：基于组件系统的容错软件体系结构。摘自：de Lemos，R.、Gacek，C.、Romanovsky，A.（编辑）《可靠系统架构》。LNCS，第00a02677卷，第129\u2013149页。Springer，Heidelberg（2003）“}，{“问题”：“2”，“关键”：“7_CR17”，“doi-asserted-by”：“出版商”，“首页”：“80”，“doi”：“10.1109\/MS.2006.35”，“卷”：“23”，“作者”：“R.Lemos de”，“年份”：“2006”，“非结构化”：“de Lemos，R.，de Castro Guerra，P.A.，Rubira，C.M.F.：可靠系统的容错体系结构方法。IEEE Software\u00a023（2），80\u201387（2006）“，”journal-title“：”IEEE Software“}，{“key”：“7_CR18”，“unstructured”：“McMillan，K.L.：SMV系统.技术报告CMU-CS-92-131，卡内基梅隆大学（1992）”}，“key“：”7_CR19“，“volume-title”：“事务处理：概念和技术”，“author”：“J.Gray”，“year”：“1993”，“非结构化”：“Gray，J.，Reuter，A.：事务处理：概念和技术。Morgan Kaufmann，San Francisco（1993）“}，{“key”：“7_CR20”，“unstructured”：“Issarny，V.，Banatre，J.P.：基于架构的异常处理。摘自：第34届夏威夷国际系统科学年会（2001）会议记录”}，}“issue”：“2”，“key“：”7_CR21“，”doi-asserted-by“：”publisher“，”first page“：“256”，“doi”：“10.1145\/505145”卷：“11”，“作者”：“D.Jackson”，“年份”：“2002”，“非结构化”：“Jackson，D.：Alloy:轻量级对象建模符号。软件工程与方法学\u00a011（2），256\u2013290（2002）“，”杂志标题“：”软件工程和方法“}，{“key”：“7_CR22”，“doi-asserted-by”：“publisher”，“first-page”：“730”，“doi”：“10.1145\/337180.337616”，“volume-title”：“ICSE 2000”，“author”：“D.Jackson”，“year”：“2000”，”“unstructured”：“Jackson，D.，Schechter，I.，Shlyahter，H.：美国铝业：合金约束分析仪。包含：ICSE 2000。第22届软件工程国际会议记录，第730\u2013733页。ACM Press，New York（2000）“}，{“key”：“7_CR23”，“volume-title”：“可靠计算和容错系统”，“author”：“P.A.Lee”，“year”：“1990”，“unstructured”：“Lee，P.A.，Anderson，T.：容错：原理和实践。In：可靠计算与容错系统，第二版，Springer，Berlin，New Yor（1990）”，“edition”：“2”}，}“key:”7_CR24“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：”855“，”doi“：”10.1007\/978-3-540-45236-2_46“，”volume-title“：“FME 2003:Formal Methods”，”author“：”M.Leuschel“，”year“：”2003“，”unstructured“：”Leuschel，M.，Butler，M.J.：Prob.:A model checker for b.in:Araki，K.，Gnesi，S.，Mandrioli，D.（ed.第条）FME 2003。LNCS，卷\u00a02805，第855\u2013874页。Springer，Heidelberg（2003）“}，{”key“：”7_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”Parnas，D.L.，W\u00fcrges，H.：对软件系统中意外事件的响应。摘自：《第二届国际软件工程会议论文集》，美国旧金山，第437\u2013446页（1976年10月）“，”doi“：”10.1109\/TSE.1976.233836“}”，{“问题”：“2”，“key“：”7_CR26“，”first-page“：”221“，”volume“：“1”，”author“：”B.Randell“，”year“：”1975“，”unstructured“：”Randell，B.：软件容错的系统结构。IEEE软件工程学报\u00a01（2），221\u2013232（1975）“，”期刊标题“：”IEEE软件工程学学报“}，{“key”：“7_CR27”，“series-title”：“计算机科学讲义”，“volume-title”：”ECOOP 2003-面向对象编程“，“author”：“D.Reimer”，“year”：“2003”，“unstructured”：“Reimer，D.，Srinivasan，H.：分析大型java应用程序中的异常用法。收录：Cardelli，L.（编辑）ECOOP 2003。LNCS，vol.\u00a02743，Springer，Heidelberg（2003）“}，{“key”：“7_CR28”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《416》，“doi”：“10.1007\/3-540-45648-1_22”，“volume-title”：Schneider，S.、Treharne，H.：通信b机器。收录人：Bert，D.、Bowen，J.P.、Henson，M.C.、Robinson，K.（编辑）B 2002和ZB 2002。LNCS，第\000a02272卷，第416页\u2013435。Springer，Heidelberg（2002）“}，{“key”：“7_CR29”，“volume-title”：“分布式系统和计算机网络”，“author”：“M.Sloman”，“year”：“1987”，“unstructured”：“Sloman，M.，Kramer，J.：分布式系统和计算网络。Prentice Hall International（UK）Ltd，Hertfordshire，UK（1987）”}，“{”key“：”7_CR30“doi-asserted-by”：“crossref”，“非结构化”：“Taylor，R.N.，Medvidovic，N.，Anderson，K.，Whitehead，J.E.J.，Robbins，J.：GUI软件的基于组件和消息的架构风格。摘自：《第十七届国际软件工程会议论文集》，第295\u2013304页（1995年4月）“，”DOI“：”10.1145“/225014.225042“}，{”key“：”7_CR31“，”DOI-asserted-by“：”crossref“，”unstructured“：”Weimer，W.，Necula，G.：发现并防止运行时错误处理错误。摘自：《OOPSLA 2004年会议记录》，加拿大温哥华，第419\u2013433页（2004年10月）“，”DOI“：”10.1145\/1035292.1029011“}]，”container-title“：[”计算机科学讲义“，”可靠计算“]，”original-title”：[]，”link“：[{”URL“http://link.springer.com/content\/pdf\/10007\/978-3-540-75294-3_7“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,21]]，”date-time“：”2019-05-21T22:02:50Z“，”timestamp“：1558476170000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/978-3-540-75294-3_7”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[2007]]}，“ISBN”：[“9783540752936“，”978354075 2943“]，”references-count“：31，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75294-3_7“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：”1611-349“，”type“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2007]]}}