摘要
[1] ATL主页< http://www.sciences.univ-nantes.fr/lina/atl/ >. 谷歌学者 
[2] Baresi，L.和Pezzé，M.，图表符号的形式解释。 ACM软件工程与方法汇刊。 第14版i1。 42-84. 谷歌学者 [3] Berry，D.M.，《形式方法：理念本身》。 关于他们工作时为什么工作的一些想法。计算机编程科学。 第42版i1。 11-27. 谷歌学者 [4] A.Bondavalli，M.Dal Cin，D.Latella，A.Pataricza，可靠性的高级集成设计环境（HIDE），收录于《世界学报》，1999年。 谷歌学者 [5] Buchholtz，M.、Gilmore，S.、Haenel，V.和Montangero，C.，《DEGAS编舞平台的端到端集成安全和性能分析》。 在：LNCS，第3582卷。 斯普林格。 第286-301页。 谷歌学者 数字图书馆 
[6] Clarke，E.M.、Grumberg，O.和Long，D.，模型检查。 麻省理工学院出版社。 谷歌学者 [7] Eclipse主页< http://www.eclipse.org/ >. 谷歌学者 [8] Ehrig，H.、Ehrig（K.）、Prange（U.）和Taentzer（G.）。 2006.理论计算机科学专著，2006.春季。 谷歌学者 [9] Ehrig，H.、Engels，G.、Kreowski，H.J.和Rozenberg，G。 1997年，《图形语法和图形变换计算手册》，1997年，世界科学出版社。 谷歌学者 [10] Ermel，C.，Hölscher，K.，Kuske，S.和Ziemann，P.，基于图转换的集成UML行为模型的动画模拟。 摘自：2005年VL/HCC会议记录，IEE CS出版社。 第125-133页。 谷歌学者 数字图书馆 [11] H.Foster，S.Uchitel，J.Magee，J.，Kramer，《WS-Engineer:基于模型的web服务组合和编排工程方法》，收录于：web服务测试与分析，2007年，第87-119页。 谷歌学者 交叉引用 
[12] GMF主页< http://www.eclipse.org/gmf >. 谷歌学者 [13] Green，T.R.和Petre，M.，《可视化编程环境的可用性分析：“认知维度”框架》，《可视化语言与计算杂志》。 v7.131-174。 谷歌学者 [14] Grundy，J.C.、Hosking，J.G.、Amor，R.W.、Mugridge，W.B.和Li，Y.，用于指定和生成数据映射系统的特定领域可视化语言。 视觉语言与计算杂志。 v15 i3-4。 243-263. 谷歌学者 [15] Grundy，J.C.、Mugridge，W.B.和Hosking，J.G.，多视角视觉环境的视觉规范。 1998年，《VL'98期刊》，1998年。IEEE CS出版社。 谷歌学者 [16] Guerra，E.和de Lara，J.，《使用三重图转换系统的模型视图管理》。 收录于：LNCS，第4178卷。 斯普林格。 第351-366页。 谷歌学者 [17] E.Guerra，J.de Lara，《多视图视觉语言定义的元建模和图形转换》，载于：Fernando Ferri（编辑），《交互式计算的视觉语言：定义和形式化》，Idea Group，《信息科学参考》，美国好时出版社，2007年。 谷歌学者 [18] Guerra，E.、de Lara，J.和Diaz，P.，针对特定领域视觉语言的测量和重新设计视觉规范。 视觉语言与计算杂志。 第19版i3。 399-425. 谷歌学者 [19] Guerra，E.、Sanz，D.、Diaz，P.和Aedo，I.，一种基于转换驱动的方法，用于验证web设计中的安全策略。 收录于：LNCS，第4607卷。 斯普林格。 第269-284页。 谷歌学者 数字图书馆 [20] LTSA主页< 网址：http://www.doc.ic.ac.uk/ltsa/ >. 谷歌学者 [21] de Lara，J.和Vangheluwe，H.，AToM3：一种用于多形式主义建模和元建模的工具。 在：LNCS，第2306卷。 斯普林格。 第174-188页。 谷歌学者 数字图书馆 [22] Lédeczi，A.，Bakay，A.，Maróti，M.，Völgyesi，P.，Nordstrom，G.，Sprinkle，J.和Karsai，G.《构建特定领域的设计环境》。 计算机。 第34.44-51节。 谷歌学者 [23] Magee，J.和Kramer，J.，《并发：状态模型与； Java程序。 1999年，John Wiley&； 儿子们。 谷歌学者 [24] A.Malizia、E.Guerra、E.、J.de Lara，数字图书馆的模型驱动开发：生成用户界面，载于：MDDAUI’06会议录，CEUR，第2142006卷。 谷歌学者 [25] Manna，Z.和Pnueli，A.，时间属性的层次结构。 收录于：美国计算机学会出版社，《PODC’90会议录》。 第377-410页。 谷歌学者 [26] Murata，T.，《Petri网：特性、分析和应用》。 程序。 IEEE标准。 第77版i4。 541-580. 谷歌学者 [27] Nentwich，C.、Emmerich，W.、Finkelstein，A.和Ellmer，E.，《灵活一致性检查》。 ACM软件工程与方法汇刊。 第12版i1。 28-63. 谷歌学者 [28] R.Pohjonen，J.P.Tolvanen，《家庭成员的自动化生产：经验教训》，载于《产品线工程国际研讨会论文集：早期步骤：规划、建模和管理》，2002年，第49-57页。 谷歌学者 [29] QVT规范< http://www.omg.org/docs/ptc/05-11-01.pdf >. 谷歌学者 [30] Schürr，A.，具有三重图语法的图翻译器的规范。 收录于：LNCS，第903卷。 斯普林格。 谷歌学者 [31] Varró，D.，Varrö，G.和Pataricza，A.，《设计视觉语言的自动转换》。 计算机程序设计科学。 v44 i2。 205-227. 谷歌学者 [32] Völter，M.和Stahl，T.，《模型驱动软件开发》。 2006年，威利。 谷歌学者 [33] Xie，F.，Levin，V.和Browne，J.C.，ObjectCheck：可执行面向对象软件系统设计的模型检查工具。 收录于：LNCS，第2306卷。 斯普林格。 第331-335页。 谷歌学者 数字图书馆 [34] Zhu，N.，Grundy，J.C.和Hosking，J.G.，Pounamu：多视角视觉语言环境构建的元工具。 摘自：2004年VL/HCC会议记录，IEE CS出版社。 第254-256页。 谷歌学者
索引术语
支持面向用户的多视图领域特定视觉语言分析
建议
基于实例的领域特定视觉语言验证 SLE 2015：2015 ACM SIGPLAN软件语言工程国际会议记录 特定领域语言（DSL）的定义是模型驱动工程（Model-Driven Engineering）中的一项经常性活动。然而，它们的构建在很多时候是一个特殊的过程，部分原因是缺乏工具来支持DSL的正确工程和促进。。。 系统地派生特定于域的转换语言 模型’15：第18届模型驱动工程语言与系统国际会议论文集 模型转换有助于演化、重构、细化和维护模型。 虽然特定于域的语言对于建模者来说通常是直观的，但常见的模型转换方法（无论它们是转换图形还是文本。。。 通过最终用户演示创建可视的特定于域的建模语言 MiSE’12：第四届软件工程建模国际研讨会论文集 特定领域建模语言（DSML）由于其简洁性和丰富的表达能力，最近受到了人们的关注。 然而，采用DSML有几个挑战，因为开发新的DSML需要。。。
