{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T05:22:50Z”，“时间戳”：1648963370528}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540619949”，“类型”：“打印”}，{“值”：“9783540495888”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1996]]}，”DOI“：”10.1007\/bfb0037409“，”type“：”book-capter“，”created“：”{“date-part”：[2006,1,25]]，“date-time”：“2006-01-25T15:15:55Z”，“”时间戳“：113820215500}，”页面“：”275-284“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“VDM的视觉方法”]，“prefix”：“10.1007”，《author》：[{“given”：“Jeremy”，“family”：“Dick”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“J\u00e9r\u00f4me”，“家族”：“Loubersac”，：{“date-parts”：[[2005,6,26]]}，“reference”：[{“key”：“17_CR1”，“series-title”：“LNCS 1051”，“volume-title”：“形式方法应用的定量分析”，“year”：“1996”，“unstructured”：“正式方法应用的量化分析”，Juan Bicarregui，Jeremy Dick和E\u00f2in Woods，收录于Proc.Formal Methods Europe’96，LNCS 105，Springer，Oxford，1996年3月。”}，{“key”：“17_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Boudier，F.Gallo，R.Minot，I.Thomas，PCTE和PCTE+概述，1988年ACM软件开发环境研讨会，第248\u2013257页”，“doi”：“10.1145\/64135.65026”}，{“key”：“17-CR3”，“doi-asserted-by”:“crossrev”，”非结构化“P。Chen，The Entity-Relationship Model:towards a unified view of data，ACM Transactions on Database Systems，Vol 1，No 11976年3月”，“DOI”：“10.1145\/320434.320440”}，{“key”：“17_CR4”，“unstructured”：“J.Dick，J.Loubersac，a Visual Approach to VDM:Entity-Structure Diagrams，Bull Research Centre Report，DE\/DRPA\/DMA\/910011991年1月”}17_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”J.Dick，J.Loubersac，《集成结构化和形式化方法：VDM的可视化方法》，Proc。ESEC’91 LNCS Vol.550，Springer-Verlag，1991年“，“DOI”：“10.1007”，{“key”：“17_CR6”，“unstructured”：“Cliff B.Jones，使用VDM的系统软件开发，第二版，普伦蒂斯·霍尔国际出版社，1990年”}，{”key“：”17_CR7“，”unstructure“：”J。Loubersac，VtP用户指南，Atmosphere Internal Result I4.1.4.2.3.1，Bull Research Centre，Las Clayes-sous-Bois，France“}]，“container-title”：[“SOFSEM'96:信息学理论与实践”，“计算机科学讲义”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/BFBb0037409”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,2,9]]，”date-time“：”2019-02-09T08:25:48Z“，”timestamp“：1549700748000}，”score“：1，”resource“：，“已发布”：{“日期-部分”：[1996]]}，“ISBN”：[“9783540619949“，”9783540495888“]，”引用次数“：7，”URL“：”http:\/\/dx.doi.org/10.1007\/bfb0037409“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：”date parts“：〔1996〕｝｝