{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T14:15:33Z”，“时间戳”：1648649733954}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540223818”，“类型”：“打印”}，{“值”：“9783540278153”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-27815-3_18“，”type“：”book-capter“，”created“：{”date-ports“：[2010,9,14]]，”date-time“：”2010-09-14T04:32:12 6Z“，”时间戳“：1284438736000}，”页面“：”196-210“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“配置多级规范的语言”]，“prefix”：“10.1007”，”author“：[{”给定“：”Gillian“，”family“：”Hill“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Steven“，”家族“：”Vickers“，”序列“：”additional“，”从属“：[]}]，”member“：”297“，”reference“：[}”key“：“18_CR1”，“非结构化”：“Booch，G.：面向对象的分析与设计，第2版。本杰明·卡明斯出版公司（1994）”}，{“key”：“18_CR2”，“非结构性”：“Burstall，R.M.，Goguen，J.A.：将理论结合起来制定规范。摘自：第五届国际人工智能联合会议论文集，马萨诸塞州剑桥，pp.1045\u20131058（1977）”}，{“key”：“18_CR3”，“series-title”：“计算机科学课堂笔记”，“volume-title”：《抽象软件规范》，“author”：“R.M.Burstal”，“年份”：“1980”，“非结构化”：“Burstall，R.M.，Goguen，J.A.：Clear的语义，一种规范语言。In：Bjorner，D.（编辑）抽象软件规范。LNCS，vol.\u00a086，Springer，Heidelberg（1980）”}，｛“key”：“18_CR4”，“非结构化”：“Ehrig，H.、Fey，W.、Hansen，H.，Lowe，M.、Papisi-Presicce，F.：模块化规范开发的代数理论。柏林技术大学技术报告（1987）”}，{“key”：“18_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3642-69962-7”，“volume-title”：“代数规范的基础1：方程和初始语义”，“author”：“H.Ehrig”，“year”：“1985”，“unstructured”：“Ehrig，H.，Mahr，B.：代数规范基础1:方程和初始语义。Springer，Heidelberg（1985）”}，{“key”：“18_CR6”，“非结构化”：“Hill，G.：配置系统的语言。伦敦大学帝国理工学院计算系博士论文（2002）“}，”{“key”：“18_CR7”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：“软件技术和理论计算机科学基础”，“author”：“T.S.E.Maibaum”，“year”：“1984”，“unstructured”：“Maibaum，T.S.E.，Sadler，M.R.，Veloso，P.A.S.：逻辑规范和实现。in:Joseph，M.，Shyamasundar，R.K.（eds.）FSTTCS 1984。LNCS，vol.\u00a0181，Springer，Heidelberg（1984）“}，{“key”：“18_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Meyer，B.：可重用性。IEEE Software，50\u201363（1987）”，“doi”：“10.1109\/MS.1987.230097”}，“key“：”18_CR9“，”doi-assert-by“：”交叉引用“，”首页“：”141“，”doi“：”10.1016\/S0304-3975（98）00232-1“，”卷“：”247“，”作者“：”C.Oriat“，”年份“：”2000年“，“非结构化”：“Oriat，C.：用分类图检测模块规范的等效性。理论计算机科学，247141\u2013190（2000）“，”杂志标题“：”理论计算机科学“}，{“key”：“18_CR10”，“doi-asserted-by”：“publisher”，“first-page”：“233”，“doi”：“10.1007\/BF00283329”，“volume”：”3“，”author“：”D.Sannella“，”year“：”1988“，”unstructured“：”Sannella，D.，Tarlecki，A.：从代数规范走向程序的形式化开发：重新审视实现。《信息学报》25\u00a03，233\u2013281（1988）“，“新闻标题”：“信息学报25”}，{“key”：“18_CR11”，“unstructured”：“Srinivas，Y.V.，Jellig，R.：作曲软件的正式支持。程序构造数学会议程序，德国克洛斯特-艾尔西，Kestrel Institute Technical Report KES.U.94.5（1995年7月）”}、{“issue”：“4”，“key“：”18_CR12“，”doi-asserted-by“：”publisher“，”first page“：“203”，“doi”：“10.1016\/S0020-0190（01）00271-X”，“volume”：“82”，“author”：“P.A.S.Velosa”，“year”：“2002”，“unstructured”：“Veloso，P.A.S..，Fiadeiro，J.，Veloso.，S.R.M.：关于包含系统中的局部模块性和插值。通知。程序。莱特。\u00a082（4），203\u2013211（2002）“，“新闻标题”：“通知。程序。莱特。“}，{”key“：”18_CR13“，”doi-asserted-by“：”publisher“，”first-page“：”32“，”doi“：”10.1007\/PL00003938“，”volume“：“13”，”author“：”S.Vickers“，”year“：”2001“，”unstructured“：”Vickers，S.，Hill代数方法和软件技术”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-27815-3_18.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期段”：[2020,11,19]]，“date-time“：”2020-11-19T04:22:26Z“，”timestamp“：1605759746000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-27815-3_18”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[[2004]]}，《ISBN》：[“9783540223818”，“978354278153”]，“references-count”“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-27815-3_18“，”关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2004]}}}