｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,5,14]]，“日期-时间”：“2023-05-14T18:49:34Z”，“时间戳”：1684090174257｝，“发布者位置”：“柏林，海德堡”，“引用计数”：11，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540640394”，“类型”：“打印”｝，｛“值”：“9783540696872”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1998,1,1]]，“date-time”：“1998-01-01T00:00:00Z”，“timestamp”：883612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-ports”：[1998,1,1]，“日期-时间”：“1998-01-01T00:00:00Z”，“时间戳”：883612800000}，“内容版本”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[1998]]}，”DOI“：”10.1007\/3-540-69687-3_68“，”type“：”book-chapter“，”created“：{”date-part“：[[2000 7,9,3]]，“日期-时间”：“2007-09-03T02:05:07Z”，“时间戳”：1188785107000}，“页面”：“332-337”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：5，“标题”：[“组件软件的形式化方法：精化微积分透视图”]，“前缀”：“10.1007”，”作者“：[{”给定“：”Martin“，”family“：”B\u00fcchi“，“sequence”：“first”，“affiliation”：[]}、，｛“给定”：“Emil”，“家族”：“Sekerinski”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“297”，“在线发布”：｛“日期部分”：[[1998,5,15]]｝，“引用”：[｛“密钥”：“68_CR1”，“非结构化”：“\u00c1sgeir\u00d3lafsson和Doug Bryan。关于\u201必需接口\u201d组件的需求。在M中。M\u00fchlhaeuser，编辑，《面向对象编程中的特殊问题》，第159\u2013165页。海德堡出版社，1997年。ISBN 3-920993-67-5.“}，{”key“：”68_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”R.J.R.Back和Joackim von Wright.精化微积分：系统介绍.Springer Verlag，将于1997年出版.“，”doi“：”10.1007\/978-1-4612-274-2_1。荷兰和迪帕扬-冈帕迪亚。契约：指定面向对象系统中的行为组合。在《OOPSLA\/ECOOP\u2019 90面向对象编程系统、语言和应用会议论文集》，第169\u2013180页，1990年10月。“，“DOI”：“10.1145\/97945.97967”}，{“key”：“68_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jean-Marc J\u00e9z\u00e 9quel和Bertrand Meyer。把它写在合同里：阿里安的教训。IEEE Computer，第129\u2013130页，1997年1月。“，“DOI”：“10.1109\/2.562936”}，{“key”：“68_CR5”，“unstructured”：“W.Kozaczynski和J.O.Ning。规范语言的关注驱动设计。第八届软件规范与设计国际研讨会论文集，德国柏林，1996年3月。”}伯特兰·梅耶（Bertrand Meyer）。面向对象的软件构造。普伦蒂斯·霍尔，第二版，1997年。“}，{“key”：“68_CR7”，“unstructured”：“Oscar Nierstrasz和Dennis Tsichritzis，编辑。面向对象的软件组合。普伦蒂斯·霍尔，1995年。”。\nhttp:\/\/www.cs.cmu.edu\/~Compose\/\n\n“}，{“key”：“68_CR9”，“unstructured”：“Clemens A.Szyperski and Cuno Pfister。面向组件的编程：WCOP\u201996 workshop report。编辑M.M\u00fchlhaeuser，面向对象编程中的特殊问题，第127\u2013130页。海德堡出版社，1997年。ISBN 3-920993-67-5.“}，{“key”：“68_CR10”，“unstructured”：“Martin B\u00fcchi和Wolfgang Weck.灰盒组件的辩护.In Foundations of Component-Based Systems\u2019 97，1997。\nhttp:\/\/www.abo.fi\/~mbuechi\/\n\n“}，{“key”：“68_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Amy M.Zaremsky和Jeannette M.Wing。软件组件的规范匹配。《SIGSOFT软件工程基础》，1995年10月。还有CMU-CS-95-127.“，”DOI“：”10.1145\/222124.222135“}]，”container-title“：[”面向对象技术“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-69687-3_68“，”content-type“：”unspecified“，”内容-version“：”vor“，”intended-application“：”相似性检查“}]，“存放“：{“date-parts”：[[2020,4,6]]，“date-time”：“2020-04-06T05:09:34Z”，“timestamp”：1586149774000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-69687-3_68”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：394“，”9783540696872“]，”references-count“：11，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-69687-3_68“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1998]]}，“assertion”：[{“value”：”5月15日1998“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“章节历史“，”标签“：”章节历史“}}]}}