{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[[2024,9,5]],“日期时间”:“2024-09-05T17:37:36Z”,“时间戳”:1725557856067},“出版商位置”:“柏林,海德堡”,“参考计数”:19,“出版者”:“施普林格-柏林-海德堡(Springer Berlin Heidelberg)”,“isbn-type”:[{“类型”:”打印“,“值”:“9783540 201267“},{”类型“:“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_25“,”type“:”book-capter“,”created“:”{“date-part”:[2010,6,23]],“date-time”:“2010-06-23T18:39:39:03Z“,”时间戳“:1277318343000},”页面“:”317-330“,“source”:“Crossref”,“is-referenced-by-count”:1,“title”:[“高后果系统开发中支持关键领域知识交流的工具”],“prefix”:“10.1007”,”author“:[{”given“:”Kimberly S.“,”family“:”Wasson“,”sequence“:”first“,”affiliation“:[]},{”given“;“John C.”,“family”:“Knight”,“sequence”:“additional”,“afliation”:[]{,{“给定”:“伊丽莎白·A”,“家族”:“斯特伦克”,“序列”:“附加”,“附属关系”:[]},{“给定”:“肖恩·R”,“家族”:“特拉维斯”,“序列”:“附加”,“附属关系”:[]}],“成员”:“297”,“引用”:[{“密钥”:“25_CR1”,“doi asserted by”:“publisher”,“首页”:“179”,“doi”:“10.1016/0164-1212(94)00054-Q”,“卷”:“28”,“作者“:”D.Berry“,”年份“:”1995“,“非结构化”:“Berry,D.:需求工程中忽视的重要性。系统与软件杂志\u00a028,179\u2013184(1995)”,“期刊标题”:“系统与软件期刊”},{“问题”:“11”,“密钥”:“25_CR2”,“doi-asserted-by”:“出版商”,“首页”:“1268”,“doi”:“10.1145\/50087.50089”,“卷”:“31”,“作者”:“B.Curtis”,“年份”:“1988”,“非结构化”:“Curtis,B.,Krasner,H.,Iscoe,N.:大型系统软件设计过程的现场研究。ACM\u00a031(11),1268\u20131287(1988)”,“日志标题”:“ACM的通信”},{“key”:“25_CR3”,“doi-asserted-by”:“publisher”,“first page”:”179“doi”:“10.1016\/0164-1212(94)00054-Q”,“volume”:,“author”:“J.Goguen”,“year”:“1995”,“unstructured”:“Goguen,J.:需求工程中的形式性和非形式性。系统与软件杂志\u00a028,179\u2013184(1995)”,“Journal-title”:“Journal of Systems and Software”},{“key”:“25_CR4”,“非结构化”:“Hanks,K.,Knight,J.:改善高后果软件开发中关键领域知识的交流:实证研究。摘自:Proceedings:21st International System Safety Conference(2003)”},{“key”:“25_CR5”,“unstructured”:“Hanks,K.,Knight,J.,Strunk,E.:需求错误的语言分析及其应用。弗吉尼亚大学计算机科学系技术报告CS-2001\u201330(2001)”},{“key”:“25_CR6”,“unstructured”:“Hanks,K.,Knight,J.,Strunk,E.:错误需求:它们发生的语言基础和减少它们的方法。摘自:会议记录:第26届IEEE NASA软件工程研讨会,pp.115\u2013119(2001)”},{“key”:“25_CR7”,“非结构化”:“Hayhurst,K.,Holloway,C.M.:航空航天系统软件方面的挑战。摘自:论文集:第26届IEEE NASA软件工程研讨会,第7页\u201313(2001)”},{“问题”:“1”,“关键”:“25_CR8”,“doi-asserted-by”:“publisher”,“首页”:“2”,“doi”:“10.1109\/TSE.1980.230208”,“卷”:“SE-6”,“作者”:“K.Heninger”,“年份”:“1980”,“非结构化”:“Heninger,K.:指定复杂系统的需求:新技术及其应用。IEEE软件工程学报\u00a0SE-6(1),2\u201312(1980)”,“期刊标题”:“IEEE软件工程学学报”},{“key”:“25_CR9”,“非结构性”:“国际电工委员会:海上导航和无线电通信设备和系统\u2013轨道控制系统\u2013-操作和性能要求、测试方法和要求的测试结果。项目编号:62065\/Ed.1(2000)”},{“key”:“25_CR10”,“doi-asserted-by”:“crossref”,“unstructured”:“Knight,J.,Hanks,K.,Travis,S.:正式技术生产使用的工具支持。摘自:Proceedings:International Symposium on Software Reliability Engineering(2001)”,“DOI”:“10.1109\/ISSRE.2001.989478”},{“key”:“25_CR11”,“unstructured”:“Langacker,R.:概念、图像和符号:语法的认知基础。Mouton de Gruyter,Berlin(1990)”},{“key”:“25_CR12”,“doi断言”:“publisher”,“first page”:“15”,“doi”:“10.1109\/32.2825764”,“volume”:“26”,“author”:“N.Leveson”,“year”:“2000”,“nonstructured”:“Leveson,N.:意图规范:构建以人为本规范的方法。IEEE软件工程学报\u00a026,15\u201335(2000)”,“期刊标题”:“IEEE软件工程学学报”},{“key”:“25_CR13”,“非结构化”:“Leveson,N.,Reese,J.,Heimdahl,M.:SpecTRM:数字自动化的CAD工具。摘自:Proceedings:17th Digital Avionics Systems Conference(1998)”},{“key”:“25_CR14”,“unstructured”:“Lutz,R.:分析安全关键型嵌入式系统中的软件需求错误。摘自:论文集:IEEE国际需求工程研讨会,第126\u2013133(1993)页”},{“key”:“25_CR15”,“doi-asserted-by”:“publisher”,“first page”:《281》,“doi”:“10.1006\/ijhc.1998.0206”,《volume》:“49”,“author”:“N.Maiden”,‘year’:“1998”,“非结构化”:“Maiden,N.,Hare,M.:需求工程中的问题域类别。国际期刊人类计算机研究\u00a049,281\u2013304(1998)”,“期刊标题”:“国际期刊人类计算研究”},{“key”:“25_CR16”,“非结构性”:“Potts,C.,Newstetter,W.:自然主义调查与需求工程:调和其理论基础。摘自:会议记录:IEEE需求工程国际研讨会,第118\u2013127页(1997)”},{“问题”:“11”,“关键”:“25_CR17”,“doi-asserted-by”:“publisher”,“首页”:“21”,“doi”:“10.1109\/52.268952”,“卷”:“2”:“C.Potts”,“year”:“1994”,“unstructured”:“Potts,C.,Takahashi,K.,Anton,A.:基于查询的需求分析。IEEE Software\u00a02(11),21\u201332(1994)”,“新闻标题”:“IEEE Software”},{“volume-title”:“认知语言学导论”,“年份”:“1996”,“作者”:“F.Ungerer”,“关键字”:“25_CR18”,“非结构化”:“Ungerer,F.,Schmid,H.:认知语言学导论。朗曼,伦敦(1996)”},{“问题”:“1”,“密钥”:“25_CR19”,“doi断言”:“出版商”,“首页”:“1”,“doi”:“10.1145\/2374432.2334”,“卷”:“6”,“作者”:“P.Zave”,“年份”:“1997”,“非结构化”:“Zave,P.,Jackson,M.:需求工程的四个黑暗角落”。ACM软件工程与方法学报\u00a06(1),1\u201330(1997)“,”期刊标题“:”ACM软件工程学与方法学报“}],”容器标题“:[”计算机科学讲义“,”计算机安全、可靠性与安全“],”原文标题“:[],”链接“:[{”URL“:”http:\/\/link.springer.com/content\/pdf\/10.1007\/978-39878-3_25“,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposted”:{“date-parts”:[[2019,3,14]],“date-time”:”2019-03-14T19:30:46Z“timestamp”:1552591846000},“score”:1,“resource”:{“primary”:{“URL”:“http:\/\/link.springer.com/10.1007\/978-3540-39878-3_25“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[[2003]]},“ISBN”:[“9783540201267”,”9783540398783“],”引用计数“:19,”URL“http://\/dx.doi.org\/10.10007\/978-3540-39987-3_25”,“关系”:{},“:[”0302-9743“,”1611-3349“],”ISSN-type“:[{”type“:”print“,”value“:”0302-7743“},{”键入“:”electronic“,”value“:”1611-3349“}],”subject“:[],”published“:{”date-parts“:[[2003]]}}