{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T10:47:53Z”，“时间戳”：1714214873990}，“引用计数”：19，“发布者”：“Springer US”，“isbn-type”：[{“值”：“9780387348285”，“类型”：”“打印”}]，“内容域“：{”域“：[]，”交叉标记重新限制“：false}，“short-container-title”：[]，“DOI”：“10.1007\/978-0-387-34831-5_4”，“type”：“book-chipter”，“created”：{“date-parts”：[[2006,11,29]]，“date-time”：“2006-11-29T15:04:42Z”，“timestamp”：1164812682000}，“page”：《47-61》，“source”：「Crossref」，“is-referenced-by-count”：2，“title”：[“UML模型中精化条件的实用验证策略”]，“prefix”：“10.1007”，“作者”：[{“given”：“Claudia”，“family”：“Pons”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Diego”，“家族”：“Garcia”，”sequence“：“additional”，“ffiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”4_CR1“，”unstructured“：”Astesiano E.，Reggio G。处理UML一致性的代数建议\u201d，基于UML的软件开发中一致性问题研讨会。UML会议（2003）。“}，{”key“：”4_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”Back，R.&von Wright，J.精化演算：系统介绍，计算机科学研究生论文，Springer Verlag.（1998）“，”doi“：”10.1007\/978-1-4612-1674-2“}”，{“key”：“4_CR3”，“unstructure”：“Boiten E.a.和Bujorianu M.C。通过统一来探索UML的精化。《UML\u201903使用UML进行关键系统开发研讨会论文集》，J.Jurjens、B.Rumpe等，编辑：TUM-I0323，慕尼黑科技大学。(2003).“}，{”key“：”4_CR4“，”unstructured“：”Cavalcanti A.和Naumann D.Java的模拟和类优化。在ECOOP 2000 Java程序形式化技术研讨会（2000）的会议记录中。“}”，{“key”：“4_CR5”，“doi-asserted-by”：“crossref”，“unstructure”：“Davies J.和Crichton C。统一建模语言中的并发和优化。《理论计算机科学电子笔记》70,3，Elsevier，2002。“，”DOI“：”10.1016\/S1571-0661（05）80494-3“}，{“key”：“4_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Derrick，J.和Boiten，E.《Z和Object-Z中的精化》。基础与高级应用。FACIT，Springer。（2001）”，“DOI”：“10.1007\/978-1-4471-257-1”}，“key“：”4_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Engels G.，K\u00fcster J.，Heckel R.和Groenewegen L.指定和分析面向对象行为模型一致性的方法。程序。IEEE软件工程基础国际会议，维也纳。(2001).“，”DOI“：”10.1145 \/503271.503235“}，{”key“：”4_CR8“，”series-title“：”LNCS“，”volume-title“：“Proc.6th Int.Conf.Unified Modeling Language（UML\u20192003）”“，”author“：”M.Gogogla“，”year“：”2003“，”unstructured“：”Gogolla，Martin，Bohling，J\u00f6rn and Richters，Mark.通过自动快照生成验证UML和OCL模型。In G.Booch，P。Stevens和J.Whittle，编辑，Proc。第六届国际会议统一建模语言（UML\u20192003）。柏林施普林格，LNCS 28632003年。“}，{”key“：”4_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Jackson，Daniel，Shlyakhter，I.和Sridharan。微模块机制。在ACM Sigsoft软件工程基础会议记录FSE\u201901。(2001).“，”DOI“：”10.1145\/503218.503219“}，{“key”：“4_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kim，S.和Carrington，D.，使用Object-Z形式化UML类图，UML\u201999会议论文集，计算机科学1723（1999）讲稿。”，“DOI”：“10.1007\/3-540-46852-8_7”}，“key“：”4_CR11“，”DOI-assert-by“：”crossref.“，”非结构化”：“Lano，K。B语言和方法。事实。斯普林格（1996）。“，”DOI“：”10.1007\/978-1-4471-1494-9“}，{”key“：”4_CR12“，”unstructured“：”Lano，K.，Biccaregui，J.，《结构化时间理论中UML的形式化》，第二期。ECOOP精确行为语义学研讨会，TUM-I9813，Technische U.Munchen（1998）。“}”，{“key”：“4_CR13”，“unstructure”：“”Ledang、Hung和Souquieres、Jeanine。UML和B规范技术的集成：从OCL表达式到B.Proc的系统化转换。2002年IEEE亚太软件工程会议。2013年12月4日，（2002）。}，{“key”：“4_CR14”，“unstructured”：“Liu，Z.，Jifeng H.，Li，X.Chen Y.UML模型的一致性和精化。第三届基于UML的软件开发中一致性问题研讨会，第三届，UML会议，（2004）。”。统一建模语言上层结构2.0版\u2013OMG最终采用规范。，http://www.omg.org.2003年8月“}，{“key”：“4_CR16”，“unstructured”：“OCL 2.0。OMG最终采用的规范。2003年10月。“｝，｛”key“：”4_CR17“，”doi asserted by“：”crossref“，”nonstructured“：”Pons C.，Giannini R.，P\u00e9rez G.，et al.面向精化环境中建模过程的精确助手。in \u201cUML建模语言与应用：卫星活动\u201d。计算机科学讲义3297。施普林格，（2004）。“，”DOI“：”10.1007\/978-3-540-31797-5_26“}，{”key“：”4_CR18“，”DOI-asserted-by“：”crossref“，”unstructured“：”Pons-Claudia.UML求精模式定义的启发式。第32届计算机科学理论与实践当前趋势国际会议。SOFSEM（SOFtware SEMinar）。2006年1月21日\u201327日。梅林，捷克共和国。由Springer-Verlag在Springer LNCS（计算机科学讲稿）上发表。（2006）“，”DOI“：”10.1007\/11611257_44“}，{“key”：“4_CR19”，“unstructured”：“Pons-Claudia.关于UML细化模式的定义。ACM\/IEEE第八届牙买加模型驱动工程语言与系统国际会议MoDeVa研讨会，2005年10月。”}]，“container-title”：[“高级软件工程：拓展软件技术的前沿”，“IFIP国际信息处理联合会”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-0-34831-5_4.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,4,28]]，“日期-时间”：“2021-04-28T01:51:23Z”，“时间戳”：1619574683000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-0-34831-5_4”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[null]}，“ISBN”：[“9780387348285”]，“references-count”：19，“URL”：“http://\/dx.doi.org\/10.1007\/978-0-387-34831-5_4“，”关系“：{}，”主题“：[]}}