{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:30Z”，“时间戳”：1725557850122}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“97835402012.67“}，{”类型“：“electronic”，“value”：“9783540398783”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-39878-3_24“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6,23]]，“date-time”：“2010-06-23T22:39:39:03Z“，”时间戳“：1277332743000}，”页面“：”303-316“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“On the Role of Traceability for Standards Compliance：Tracking Requirements to Code”]，“prefix”：“10.1007”，”author“：[{”given“：”P.A.J.“，”family“：”Mason“，”sequence“：”first“，”affiliation“：[]}，{”given“:”A.“，”“family”：“Saeed”，“sequence”：“additional”，“afliation”：[]{“given”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“24_CR1”，“unstructured”：“RTCA\/DO178b-欧洲民用航空电子组织-机载系统和设备认证中的软件考虑因素（1992）”}，{“key”：”24_CR2“非结构化”：“SAE ARP 4754-机载系统和设备认证中的认证注意事项，汽车工程师学会（1996）”}，{“key”：“24_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Bishop，P.，Bloomfield，R.：-安全案例开发方法。in:Procs.Safety-Critical Systems Symposium，UK（1998年2月）”，“doi”：“10.1007\/9781-4471-1534-2_14”}，{“key”：“24_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Pearson，S.，Riddle，S.和Saeed，A.：安全航空电子系统开发和评估的可追溯性。摘自：Procs.INCOSE 1998，Canada，pp.445\u2013152（1998年7月）”，“doi”：“10.1002\/j.2334-5837.1998.tb00066.x”}：“Wilson，S.P.，Kelly，T.P.，McDermid，J.A.：安全案例开发：当前实践，未来展望。摘自：第12届CSR研讨会，比利时第一届ENCRESS会议（1995）”}，{“key”：“24_CR6”，“非结构化”：“Wilson，S.，McDermid，J.，Pygott，C.，Tombs，D.：使用目标结构符号评估复杂的基于计算机的系统。收录于：Procs.ECBS，加拿大，第498\u2013505页（1996年10月）”}，{“key”：“24_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Wilson，S.，McDermid，J.，Kirkham，P.，Pygott，C.，Tombs，D.：基于计算机的安全关键系统标准和过程支持。摘自：Procs.Safe Comp，York，pp.197\u2013209（1997）”，“DOI”：“10.1007\/978-1-4997-6_16”}，{“key”：“24_CR8”，“非结构化”：“CAP 670-民航局空中交通服务安全要求（1998）“}，{”key“：”24_CR9“，”unstructured“：”Mason，P.：-Meta-modelling Approach to Traceability，Newcastle University PhD Thesis（2002）“}”，{“key”：“24_CR10”，“unstructure”：“Telelogic-DOORS Ref.Manual:v5.1（2001）”}，“{”密钥“：”24 _CR11“，”非结构化“：”Johnson，J.：《设计数据交换的最新发展：走向完全集成的航空航天设计环境》。In：程序。Int\u2019l英国航空科学大会（2000）“}，{“key”：“24_CR12”，“unstructured”：“Jun，H.：软件工程环境的基于文档的方法。摘自：Procs.第五届Int\u219l CASE研讨会，中国，pp.128\u2013133（1995年10月/11月）”}，}“key:”24_CR13“，”unstructure“Muller，P.-A.：Instant UML.Wrox Press Ltd.（1997）”}.，{“volume-title”：“高完整性Ada：火花方法”，“year”：“1997”，“author”：“J.Barnes”，“key”：“24_CR14”，“unstructured”：“Barnes，J.：高完整性Ada：火花方法。Addison Wesley，Reading（1997）“｝，｛“key”：“24_CR15”，“doi asserted by”：“crossref”，“nonstructured”：“Jarke，M.，Gallersdorfer，R.，Jeusfeld，M.，Staudt，M.，Eherer，S.：概念库：元数据的演绎对象库。Journal of Intelligent Info.Sys.，167\u2013192（1995年3月）”，“doi”：“10.1007\/BF00961873”｝，｛“key”：“24_CR16”，“nonstructured”：“Paynter，S.：《实时网络规范语言》，MBDA TR 20656（2000年11月）“}，{“key”：“24_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Simpson，H.R.：The Mascot Method，Software Engineering Journal，103\u2013120（1986年5月）”，“doi”：“10.1049\/sej.1986.0018”}，}，“key“：”24_CR18“，”非结构化“：”Mason，P.、Saeed，A.、Riddle，S.、Arkley，P.：可追溯性：系统集成视角、系统集成视角。In：程序。INCOSE 2003（2003）（即将出版）“}，{“key”：“24_CR19”，“unstructured”：“DS 00-55:国防装备安全相关软件的要求，国防部（1996）”}，}“key:”24_CR20“，”unstructure“：”DS 00-56（第2期）：国防系统安全管理要求，国防部长（1996）“}]，“container-title”：[“计算机科学课堂讲稿”，“计算机安全、可靠性和安全“]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3540-39878-3_24”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2019,3,14]]，“日期时间”：“2019-03-14T23:57:16Z”，“timestamp“：1552607836000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3540-39878-3_24“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2003]]}，《ISBN》：[“9783540201267”，“978354398783”]，“references-count”：20，“URL”：“http://\/dx.doi org \/10.1007\/978-3-540-39878-3_24“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”type“:”print“，”value“：”0302-9743“}，{”类型“：”electronic“，”value“：”1611-3399“}]，”subject“：[]，”published“：{”date-parts“：[2003]]}}