{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:29Z”，“时间戳”：1725557849381}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540201267“}，{”类型“：“电子”，“值”：“9783540398783”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[2003]]｝，“DOI”：“10.1007\/978-3-540-39878-3_18”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2010,6,23]]，“日期时间”：“2010-06-23T22:39:03Z”，“时间戳”：1277332743000｝，“页面”：“221221-234英寸，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“放射治疗机的关键特征分析”]，“prefix”：“10.1007”，”author“：[{”given“：”Andrew“，”family“：”Rae“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Daniel“，”家族“：”Jackson“，”序列“：”additional，“affiliation”：[]}，{“given”：“Jay”，“family”：“Flanz”，“sequence”：“additional”，“affaliation”（从属关系）：[]{“given”（给定）：“Didier”，“家族”：“Leyman”，“sequence”（序列）：“additive”（附加关系）：“[]}]，“member”（成员）：“297”，“reference”（引用）：[{“key”（密钥）：“18_CR1”，“unstructured”：“Fenelon，P.，Hebbron，B.：将HAZOP应用于软件工程模型。风险管理和关键保护系统。摘自：SARSS会议录。英国Altrincham。安全与可靠性协会，第11\u2013116页（1994年10月）”}，{“key”：“18_CR2”，“非结构化”：“食品和药物管理局。FDA关于巴拿马辐射过度暴露的声明，见http://www.FDA.gov\/cdrh\/ocd\/panamaradexp.html”}，{“key”：“18_CR3”，“unstructured”：“Griswold，W.G.：使用信息透明度应对软件更改。技术报告CS98-585，加州大学圣地亚哥分校计算机科学与工程系（1998年4月）（1998年8月修订）”}，{“key”：“18_CR4”，“doi-asserted-by”：“publisher”，“first page”：”26“，“doi”：“10.1145 \/7606.77608”，“volume”:“12”，“author”：“S。Horwitz，“年份”：“1990年”，“非结构化”：“Horwicz，S.，Reps，T.，Binkley，D.：使用依赖图进行跨过程切片。《美国计算机学会编程语言和系统事务》（ACM Transactions on Programming Languages and Systems）\u00a012，26\u201360（1990）“，“journal-title”：“美国计算机学会（ACM）编程语言和系统事务”}，{“key”：“18_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Jackson，D.，Rollins，E.J.：逆向工程程序依赖性的新模型”。In：程序。SIGSOFT Conf.on Foundations of Software Engineering，New Orleans（1994年12月）”，“DOI”：“10.1145\/193173195281”｝，｛“key”：“18_CR6”，“nonstructured”：“Jackson，D.：软件设计中的模块依赖性。in：未来软件和系统工程激进创新蒙特雷研讨会，意大利威尼斯（2002年10月）”｝，｛“key”：“18_CR7”非结构化“：”Jackson，D.：依赖和解耦。讲稿，6170：软件工程实验室。电气工程和计算机科学系。麻省理工学院，雷德蒙德（2002年9月），在线阅读：http://\/6170.lcs.MIT.edu\/www-archive\/Old-2002-Fall\/讲座\/lecture-09.pdfLeveson，N.G.、Cha，S.S.、Shimeall，T.J.：使用软件故障树对Ada程序进行安全验证。IEEE Software\u00a08（4），48\u201359（1991）“，“journal-title”：“IEEE Software”}，{“issue”：“26”，“key”：“18_CR9”，“doi-asserted-by”：“crossref”，“first-pages”：“18”，“doi”：“10.1109\/MC.1993.274940”，“volume”：”7“author”：“N.G.Leveson”，“year”：“1993”，“unstructured”：“Leveson，N.G.，Turner，C.：therac-25事故调查。IEEE计算机\u00a07（26），18\u201341（1993）”，“期刊标题”：“IEEE计算机”｝，｛“键”：“18_CR10”，“非结构化”：“Lutz，R.R.，Woodhouse，R.M.：经验报告：SFMEA对需求分析的贡献。第44-51页，可在http:\/\/citeser.nj.nec.com\/article\/lutz96experience.html”｝，｛“键”：“18_CR11”，doi断言为”：“crossref”，“非结构化”：“Murphy，G.C.，Notkin，D.，Sullivan，K.：软件反射模型：弥合源模型和高级模型之间的差距。摘自：第三届ACM SIGSOFT软件工程基础研讨会论文集，第18页\u201328（1995）“，“DOI”：“10.1145\/222124.222136”}，{“key”：“18_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“O\u2019Callahan，R.，Jackson，D.：Lackwit：一种基于类型推理的程序理解工具。1997年软件工程国际会议论文集（ICSE 1996），马萨诸塞州波士顿（1997年5月）“，”DOI“：”10.1145\/253228.53351“}，{”key“：”18_CR13“，”DOI-asserted-by“：”crossref“，”unstructured“：”Parnas，D.：“设计易于扩展和收缩的软件。IEEE软件工程学报\u00a0SE-5（2）（1979）”，“DOI”：“10.1109 \/TSE.1979.234169“}，{“key”：“18_CR14”，“unstructured”：“Ricks，R.C.，Berger，M.E.，Holloway，E.C.，Goans，R.E.：REACTS辐射事故登记处：美国事故更新。国际辐射防护协会（2000）”}，}，“issue”：“4”10.1142\/S021819400100061X“，”卷“：”11“，”作者“：”J.A.斯塔福德“，”年份“：”2001“，”非结构化“：”斯塔福德，J.A.，Richardson，D.J.，Wolf，A.L.：软件系统的体系结构级依赖性分析。国际软件工程与知识工程杂志\u00a011（4），431\u2013451（2001）“，”杂志标题“：”国际软件工程和知识工程杂志“}，{“key”：“18_CR16”，“unstructured”：“Red Hat，Inc.5e Source Navigator IDE.网址：http://\/sourcenav.sourceforge.net“}”，{”key“：”18_CR17“，”非结构化“：”Talarian，Inc.SmartSockets，http://www.Talarian.com/rtworks.html“}，{”issue“：”4“，”key“：”18_CR18“，”doi-sserted-by“：”publisher“，”first page“：“352”，”doi“：”10.1109//TSE.1984.5010248“，“volume”：“SE-10”，“author”：“M.Weiser”，“year”：“1984”，“非结构化”：“Weiser，M.：”程序切片。IEEE软件工程学报\u00a0SE-10（4），352\u2013357（1984）“，”journal-title“：”IEEE Transactions on Software Engineering“}，{“key”：“18_CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“251”，“doi”：“10.1007\/BFb0055010”，“volume-title”：”Reliable Software Technologies-Ada-Europe\u201998“，”author“：”K.Wong“，“年份”：“1998”，“非结构化”：“Wong，K.：戴着安全眼镜看代码。摘自：Asplund，L.（编辑）Ada-Europe 1998。LNCS，卷\u00a01411，第251页。Springer，Heidelberg（1998）“}”，“container-title”：[“计算机科学课堂讲稿”，“计算机安全、可靠性和安全”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3540-39878-3_18”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,30]]，“date-time”：“2019-05-30T10:53:52Z”，“timestamp”：1559213632000}，“score”：1，“resource”：{”primary“:{”URL“：”http://\link.springer.com\/10.1007\/978-3540-39878-3_18“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[[2003]]}，”ISBN“：[”97977 83540201267“，”9783540398783“]，”references-count“：19，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-39878-3_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2003]]}}}}