{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T10:23:03Z”，“时间戳”：1725531783314}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“978383314”642018619“}，{”类型“：“electronic”，“value”：“9783642018626”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2009]]}，“DOI”：“10.1007\/978-3642-01862-6_26”，“type”：“book-chapter”，“created”：{”date-part“：[[2009，4,29]]，“date-time”：“2009-04-29T12:42:09Z”，“timestamp”：1241008929000}，”page“：”313-325“，”source“：“Crossref”，“is-referenced-by-count”：3，“title”：[“自适应软件体系结构的目标定向建模”]，“prefix”：“10.1007”，“author”：[{“given”：“Shan”，“family”：“Tang”，“sequence”：“first”，“affiliation”：[]}“297”，“reference”：[{“key”：“26_CR1”，“非结构化”：“Brandozzi，M.，Perry，D.：从面向目标的需求到体系结构规定：预克里普托过程。In：第二届国际软件体系结构研讨会的程序，第107\u2013113页（2003）”}，{“key”：“26_CR2”，“doi-asserted-by”：“crossref”，“非结构性”：“van Lamsweerde，A.：面向目标的需求工程：从系统目标到UML模型再到精确的软件规范。In:ICSE 2003，pp.744\u2013745（2003）”，“DOI”：“10.1109\/ICSE.2003.120166”}，{“key”：“26_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dardenne，A.，Fickas，S.，van Lamsweerde，A.：需求诱导中的目标导向概念获取。摘自：Proc.Sixth Int\u2019l.Workshop Software Specification and Design，pp.14\u201321（1991）”，“DOI”：“10.1109\/IWSSD.1991.213081”}，{“key”：“26_CR4”，“unstructured”：“Brandozzi，M.，Perry，D.E.：将面向目标的需求规范转换为体系结构规定。In:STRAW at ICSE 2001（2001）”}，{“key”：“26_CR5”，“doi-asserted-by”：“publisher”，“first page”：”3“，“doi”：“10.1016\/0167-6423（93）90021-G”，”volume“：”20“author”：“A.Dardenne”，“year”：“1993”，“unstructured”：“Dardenne，A.，van Lamsweerde，A.，Fickas，S.：面向目标的需求获取。计算机编程科学\u00a020，3\u201350（1993）”，“期刊标题”：“计算机编程科学”}，{“key”：“26_CR6”，“非结构化”：“Van Lamweerde，A.，Darimont，R.，Massonet，P.：会议日程安排者需求的目标导向细化：问题和经验教训。摘自：RE 1995\u20132 IEEE需求工程研讨会，约克，第194\u2013203（1995）页”}，{“key”：“26_CR7”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：“25”，“DOI”：“10.1007\/978-3-540-39800-4_2”，“volume-title”：“软件架构的形式化方法”，“author”：“A.Lamsweerde Van”，“year”：“2003”，“unstructured”：“Van Lamsweer，A.：从系统目标到软件架构。In:Bernardo，M.，Inverardi，P.（eds.）SFM 2003。LNCS，第u00a02804卷，第25\u201343页。Springer，Heidelberg（2003）“}，{”issue“：“12”，”key“：“26_CR8”，”doi-asserted-by“：”publisher“，”first page“：”1053“，”doi“：”10.1145\/361598.361623“，“volume”：“15”，“author”：“D.Parnas”，“year”：“1972”，“unstructured”：“Parnas，D.：关于将系统分解为模块时使用的标准。CACM\u00a015（12），1053\u20131058（1972）”，“journal al-title“：”CACM“}，{”key“：”26_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Peng，X.，Wu，Y.，Zhao，W.：面向特征的动态演化自适应组件模型。在：第11届欧洲软件维护和再工程会议，pp.49\u201357（2007）“，DOI”：“10.1109\/CSMR.2007.6”，｛“卷标题”：“通信顺序过程”，“年份”：“1985”，“作者”：“C.Hoare”，“密钥”：“26_CR10”，“非结构化”：“Hoare，C.：通信顺序过程。Prentice Hall International，Englewood Cliffs（1985）”，｛key“：”26_CR11“，”unstructured“：”Medvidovic，N.，Gruenbacher，P.，Egyed，A.F.，Boehm，B.W.：跨越软件生命周期的桥接模型。技术报告USC-CSE-2000-521，南加州大学（2000）“}，{”key“：”26_CR12“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4612-0931-7“，“volume-title”：“反应和并发系统的时序逻辑”，“author”：“Z.Manna”，“year”：“1992”，“unstructured”：“Manna，Z.，Pnueli，A.：反应和并发系统的时间逻辑。Springer，Heidelberg（1992）“}，{“key”：“26_CR13”，“unstructured”：“Jiao，W.，Mei，H.：协作软件系统中的动态体系结构连接器。in:第十届IEEE复杂计算机系统工程国际会议（2005）Proc.”}，}，“issue”：“1”，“key“：”26_CR14“，“doi-asserted-by”：“publisher”，“first page”：”5“doi”：“10.1147 \/sj.421.0005“，“volume”：“42”，“author”：“A.G.Ganek”，“year”：“2003”，“unstructured”：“Ganek，A.G.，Corbi，T.A.：自主计算时代的曙光。IBM Systems Journal \u00a042（1），5\u201318（2003）“，”Journal-title“：”IBM Systems Journal“}，{“key”：“26_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Zhang，J.，Cheng，B.H.：动态自适应软件的基于模型的开发。In:第28届国际软件工程会议（2006）议事录”，“doi”：“10.1145 \/1134285.1134337”}，}“key“：”26_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Brown，G.，Cheng，H.C.，Goldsby，H.，Zhang，J.：自适应系统中适应需求工程的面向目标规范。In：程序。自适应和自我管理系统软件工程研讨会（2006）”，“DOI”：“10.1145\/1137677.1137682”}，{“key”：“26_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cheng，S.W.，Garlan，D.，Schmerl，B.R.，Sousa，J.P.，Spitnagel，B.，Steenkister，P.：将建筑风格作为系统自我修复的基础。收录于：WICSA 3:IFIP第17届世界计算机大会会议记录-TC2流，第三届IEEE软件体系结构会议，第45页，201359（2002）“，“DOI”：“10.1007”，978-0-387-35607-5_3“}，{“key”：“26_CR18”，“DOI-asserted-by”：“crossref”，“unstructured”：“Yu，Y.，Lapuchnian，A.，Liaskos，S.，Mylopoulos，J.，Leite，J.C.S.P.：从目标到高可变性软件设计。在：第17届智能系统方法论国际研讨会，pp.1\u201316（2008）“，DOI”：“10.1007\/978-3-540-68123-6_1”}，｛“key”：“26_CR19”，“nonstructured”：“van Lamsweerde，A.，Dardenne，A.，Delcourt，B.，Dubisy，F.：KAOS项目：软件自动化规范中的知识获取。摘自：美国人工智能协会斯坦福大学AAAI春季研讨会系列论文集，第59\u201362页（1991）“}]，“容器-时间”：[“商业信息处理讲义”，“企业、商业过程和信息系统建模”]，“原始标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-01862-6_26“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,19]]，”date-time“：“2019-05-19T19:09:58Z”，“timestamp”：1558292998000}，“score”：1，“resource”:{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-01862-6_26“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2009]]}，“ISBN”：[“9783642018619”，“978364 2018626”]，”引用计数“：19，”URL“http://\/dx.doi.org\/10.10007\/978-362-01862-6_26”，“关系”：{}，N“：[”1865-1348“，”1865-1356“]，”ISSN-type“：[{”type“:”print“，”value“：”1865-11348“}，{”键入“：”electronic“，”value“：”1865-1356“}]，”subject“：[]，”published“：{”date-parts“：[[2009]]}}