{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,20]]，“日期时间”：“2024-09-20T16:11:21Z”，“时间戳”：1726848681262}，“发布者位置”：“Cham”，“引用计数”：23，“发布商”：“Springer International Publishing”，“isbn-type”：[{“类型”：”print“，“值”：“9783319211503”}{“type”：“电子”，“value”：“9783319211510”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：T00:00:00Z“，”时间戳“：1420070400000}，”内容版本“：”tdm“，“delay-in-days”：0，“URL”：“https:\\/www.springernature.com//gp\researters\/text-and-data-mining”}，{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“vor”，“delay-in-days“：0，”URL“https://www.sprinternature.com//gp\researders\/text-and-data-mining”“}]，”内容域“：{”域“：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015]]}，”DOI“：”10.1007\/978-3-319-21151-0_6“，”type“：”book-chapter“，”created“：{”date-part“：[2015,7,16]]，”date-time“：”2015-07-16T03:07:07Z“，”timestamp“：1437016027000}”，“page”：“75-91”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：7，“title”：[“Flexible Model-Driven Engineering中的类型推断”]，“prefix”：“10.1007”，”author“：[{”given“：“Athanasios”，“family”：“Zolotas”，“sequence”：“first”，“affiliation”：[]}，{“given”：”Nicholas“，”family“：”Matragkas“，”sequence“：“附加”，“affiliation”：[]}，{“given”：“Sam”，“family”：“Devlin”，”sequence“：“additional”，”affiliance“：[]{，”given“：”Dimitrios S.“，”family“：”Kolovos“，”segment“：”additional“，”affaliation“：[]}，”给定“：”Richard F.“，“faily”：”Paige“，”序列“：”additional“”，“affaliance”：[]{“member”：“297”，“published on”：{“date-parts”：[2015,7,17]]}，“参考”：[{“键”：“6_CR1”，“非结构化”：“Kolovos，D.S.，Matragkas，N.，Rodr\u00edguez，H.H.，Paige，R.F.：程序性混乱管理。收录：XM 2013-极限建模研讨会，第2页（2013）”}，{“key”：“6-CR2”，“无结构化”：“Gabrisik，G.，Giese，H.，L\u00fcders，A.，Seibel，A.：元模型如何灵活使用。摘自：2011年ICSE柔性建模工具研讨会论文集，Waikiki，火奴鲁鲁，第22卷。（2011）“}，{”key“：”6_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”Paige，R.F.，Kolovos，D.S.，Rose，L.M.，Drivalos，N.，Polack，F.A.：模型管理语言工程概念框架和技术基础设施的设计。2009年第14届IEEE复杂计算机系统工程国际会议，第162\u2013171页。IEEE（2009）“，”DOI“：”10.1109\/ICECCS.2009.14“}，{“key”：“6_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Mitchell，J.C.：编程语言中的概念。剑桥大学出版社（2003）”，“DOI”：“10.1017\/CBO9780511804175”}，“key“：”6_CR5“，”unstructure“：”Breiman，L.、Friedman，J.、Stone，C.J.、Olshen，R.A.：分类和回归树。CRC出版社（1984）“}，{”key“：”6_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Hindley，R.：组合逻辑中对象的主要类型模式。《美国数学学会学报》，29\u201360（1969）“，”doi“：”10.2307\/1995158“}10.1016\/0022-0000（78）90014-4“，“volume”：“17”，“author”：“R Milner”，“year”：“1978”，“unstructured”：“Milner，R.：编程中的类型多态性理论。《计算机与系统科学杂志》17（3），348\u2013375（1978）“，“Journal-title”：“Journal of computer and system sciences”}，{“key”：“6_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Damas，L.，Milner，R.：功能程序的主要类型模式。摘自：第九届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第207\u2013212页。ACM（1982）“，”DOI“：”10.1145\/582153.582176“}，{”key“：”6_CR9“，”DOI-asserted-by“：”crossref“，”unstructured“：”Kolovos，D.S.、Di Ruscio，D.、Pierantonio，A.、Paige，R.F.：模型匹配的不同模型：支持模型差异的方法分析。参见：《2009年ICSE软件模型比较和版本控制研讨会论文集》，CVSM 2009，第1\u20136页。IEEE Computer Society，Washington，DC（2009）“，”DOI“：”10.1109\/CVSM.2009.5071714“}，{”key“：”6_CR10“，”series-title“：”计算机科学课堂讲稿“，”DOI-asserted-by“：”publisher“，”first page“：“609”，”DOI:“10.1007\/978-3642-33666-9_39”，“volume-title”：“模型驱动工程语言和系统”，“author”：“B Grammel”，“year”：“2012”，“非结构化“：”Grammel，B.，Kastenholz，S.，Voigt，K.：模型驱动软件开发中跟踪链接生成的模型匹配。In:France，R.B.，Kazmeier，J.，Breu，R.，Atkinson，C.（编辑）MODELS 2012。LNCS，第7590卷，第609\u2013625页。Springer，Heidelberg（2012）“}，{”key“：”6_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“2”，”doi“：”10.1007\/978-3-540-45221-8_2“，”volume-title“：“\u00abUML\u00bb 2003-统一建模语言。建模语言和应用程序“，”author“：”M Alanen“，”year“：”2003“，”unstructured“：”Alanen，M.，Porres，I.：模型的差异和统一。在：Stevens，P.，Whittle，J.，Booch，G.（编辑）UML 2003。LNCS，第2863卷，第2\u201317页。Springer，Heidelberg（2003）“}，{“key”：“6_CR12”，“unstructured”：“Reddy，R.，France，R.、Ghosh，S.、Fleurey，F.、Baudry，B.：模型合成——一种基于签名的方法。In：面向方面建模（AOM）研讨会（2005）”}，}Cho，H.，Gray，J.，Syriani，E.：通过最终用户演示创建可视领域特定建模语言。摘自：2012年ICSE软件工程建模研讨会（MISE），第22页\u201328。IEEE（2012）“，”DOI“：”10.1109\/MISE.2012.6226010“}，{”key“：”6_CR14“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“3”，“DOI”：“10.1007\/978-3642-3366-9_2”，“volume-title”：“模型驱动的工程语言和系统”，“author”：“J S\u00e1nchez-Cuadradrado”，“年份”：“2012”，“非结构化”：“S\u00e1nchez-Cuadrado，J.、de Lara，J.和Guerra，E.：自下而上元建模：一种交互式方法。In:France，R.B.，Kazmeier，J.，Breu，R.，Atkinson，C.（编辑）MODELS 2012。LNCS，第7590卷，第3\u201319页。Springer，Heidelberg（2012）“}，{“问题”：“9”，“关键”：“6_CR15”，“doi-asserted-by”：“出版商”，“首页”：“948”，“doi”：“10.1016\/j.infsof.2007.08.003”，“卷”：“50”，“作者”：“F Javed”，“年份”：“2008”，“非结构化”：“Javed，F.、Mernik，M.、Gray，J.、Bryant，B.R.：火星：使用语法推理的元模型恢复系统。信息与软件技术50（9），948\u2013968（2008）“，”杂志标题“：”信息与软件科技“}，{“key”：“6_CR16”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page:”128“，”doi“：”10.1007\/11787044_11“，”volume-title“：”模型驱动架构\u2013基础与应用“，”作者”：“DS Kolovos”，“年份”：“2006”，“非结构化”：“Kolovos，D.S.，Paige，R.F.，Polack，F.A.C.：epsilon对象语言（EOL）。收录：Rensink，A.，Warmer，J.（编辑）ECMDA-FA 2006。LNCS，第4066卷，第128页\u2013142。Springer，Heidelberg（2006）“}，{“volume-title”：“数据挖掘：概念和技术”，“年份”：“2001”，“作者”：“H Jiawei”，“key”：“6_CR17”，“非结构化”：“Gaawei，H.，Kamber，M.：数据挖掘：理念和技术。Morgan Kaufmann，San Francisco（2001）”}，“volume-title”:“机器学习”，“年”：“1997”，“author”：“TM Mitchell”非结构化”：“Mitchell，T.M.：机器学习，第45卷。McGraw Hill，Burr Ridge（1997）“}，{”key“：“6_CR19”，“首页”：“55”，“卷”：“1078”，“作者”：“JR Williams”，“年份”：“2013年”，“非结构化”：“Williams，J.R.，Zolotas，A.，Matragkas，N.D.，Rose，L.M.，Kolovos，D.S.，Paige，R.F.，Polack，F.A.：元模型到底是什么样的？Eessmod@Models 1078，55\u201360（2013）”，“新闻标题”：“Eessmod@型号“}，{“key”：“6_CR20”，“unstructured”：“Williams，J.R.，Paige，R.F.，Kolovos，D.S.，Polack，F.A.：基于搜索的模型驱动工程。技术报告，技术报告YCS-2012-475，约克大学计算机科学系（2012）”}，{：“Powers，D.：评估：从精确性、召回率和f因子到roc、信息性、标记性和相关性（tech.rep.）。澳大利亚阿德莱德（2007）”}，{“volume-title”：“面向对象软件构建”，“年份”：“1988”，“作者”：“B Meyer”，“密钥”：“6_CR22”，“非结构化”：“Meyer，B.：面向对象软件构造，第2卷。Prentice hall，New York（1988）“}，{“key”：“6_CR23”，“unstructured”：“Zolotas，A.，Kolovos，D.S.，Matragkas，N.，Paige，R.F.：为图形具体语法赋值语义。收录于：XM 2014-Extreme Modeling Workshop，p.12”}，“container-title”：[“计算机科学课堂笔记”，“建模基础与应用”]，“原文标题”：[]，“语言”：“en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-319-21151-0_6“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,2,1]]，”date-time“：“2023-02-01T17:29:20Z”，“timestamp”：1675272560000}，“score”：1，“resource”：{“主要”：{“URL”：“https:\/\/link.springer.com/10.1007\/978-3-319-21151-0_6“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2015]]}，“ISBN”：[“9783319211503”，”9783318211510“]，”references-count“：23，”URL“http://\/dx.doi.org\/10007\/978-319-2151-0_6”，“relation”：{}，[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“type“：”electronic“，”value“：“1611-3349”}]，”subject“：[]，”published“：{”date-parts“：[[2015]]}，”assertion“：[{”value”：“2015年7月17日”，”order“：1，”name“：”first_online“，”label“：”first online“