{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T16:36:35Z”，“时间戳”：1648917395218}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540587927”，“类型”：“打印”}，{“值”：“9783540491040”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-58792-6_19“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T16:44:57 Z“，”时间戳“：1330274697000}，”页面“：”293-310“，”源“：“Crossref”，“is-referenced-by-count”：0，“title”：[“用于开发正确程序的具有多个元级别的体系结构”]，“prefix”：“10.1007”，”author“：[{“given”：“Barbara”，“family”：“Dunin-Keplicz”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,6,9]]}，“reference”：[{“key”：”19_CR1“，“非结构化”：“K.Apt.Logic programming。In J.van Leeuven，编辑，《理论计算机科学手册》。Elsevier Science Publishers，1990年。”}，{“key”：“19_CR2”，“volume-title”：“A Discipline of programming”，“author”：“E.W.Dijkstra”，“year”：“1976年”，“unstructured”：“E.W.Dij kstra.A Disciplement of Programmming。Prentice Hall，Englewood Cliffs，1976年。”：“19_CR3”，“volume-title”：“程序派生。从规范中开发程序”，“author”：“G.Dromey”，“year”：“1989”，“unstructured”：“G.Dromey.程序派生。根据规范开发程序。Addison-Wesley，Reading，Mass.，1989。”}，{“key”：“19-CR4”，“非结构化”：“B。Dunin-K\u0119plicz公司。正式重建正确的程序开发过程。华沙大学信息学研究所技术报告，1994年。“}，{“key”：“19_CR5”，“unstructured”：“B.Dunin-K\u0119plicz，J.Jab\u0142onowski，W.\u0142 ukaszewicz，and E。马达利\u0144ska-Bugaj。CAProDel：计算机辅助程序开发系统。出现在《第六届软件工程和知识工程国际会议论文集》中，SEKE’94，Jurmala，Latvia，1994.“}，{“key”：“19_CR6”，“nonstructured”：“B.Dunin-K\u0119plicz，J.Jab\u0142onowski，W.\u0142ukaszewicz，and E。马达利\u0144ska-Bugaj。根据规范开发程序：系统设计。《第三届信息系统开发人员工作台国际会议论文集》，第145\u2013168页，Gda\u0144sk，1992年。“}，{“key”：“19_CR7”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/9781-4612-5983-1”，“volume-title”：“编程科学”，“author”：“D.Gries”，“year”：“1981”，“unstructured”：“D。格里斯。编程科学。Springer，Berlin，1981.“}，{”key“：”19_CR8“，”unstructured“：”A.Langevelde、A.Philipsen和J.Treur.《复合体系结构的形式规范》，《ECAI学报》92，272\u2013276页，维也纳，1992年。“}”，{“key”：“19_CR9”，“volume-title”：“计算机编程方法学”，“author”：“W.M.Turski”，“year”：“1978”，“unstructure”：“W.M。图尔斯基。计算机编程方法。Heyden，London，1978。“}”，“container-title”：[“Logic Program Synthesis and Transformation\u2014 Meta-Programming in Logic”，“Teach Notes in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/3-540-58792-6_19.pdf”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,4,28]]，“日期-时间”：“2021-04-28T01:20:19Z”，“时间戳”：1619572819000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\\link.springer.com\/10.1007\/3-540-58792-6_19”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[[1994]]}，ISBN“：[”9783540587927“，”978354491040“]，”引用计数“：9，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-58792-6_19“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1994]]}}}}