沟槽

面向对象验证的图形(槽)。GURE是一个围绕使用简单图形来建模面向对象系统的设计时间、编译时间和运行时结构的项目,以及图形转换作为模型转换和操作语义的基础。这需要模型转换和动态语义的正式基础,以及通过对生成的图形转换系统(例如使用模型检查)的(自动)分析来验证模型转换和动态语义。


ZBMaCT中的参考文献(50篇文章中引用)

显示结果1至20的50。
按年份排序(引文
  1. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  2. 费尔南多,Walter,UWE;Rutle,阿德里安;DuraN,弗朗西斯科;Rodriguez Echeverria,罗伯托:模型行为精确和可重用定义的多级耦合模型转换(2019)
  3. Azzi,Guilherme Grochau;贝塞拉,Jonas Santos;里贝罗,Leila;科斯塔,安德列;罗德里格斯,Po.;,γ:图变换的顶点系统(2018)
  4. 科拉迪尼,安德列;杜瓦尔,Dominique;LooWe,米迦勒;里贝罗,Leila;Pig,S.,Az;AZZi,Y.;BeZeRa,Y.;RoRigiges,Y:双推出和Souqi推出方法的平行独立本质(2018)
  5. 费尔南德斯,Maribel;基什内尔,H·L·E;Pinaud,布鲁诺:标记端口图——模型和计算的形式结构(2018)
  6. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  7. Strecker,马丁:图形变换的交互式和自动证明(2018)
  8. Bhattacharyya,Anirban;Mokhov,安德烈;Pierce,肯:形式化的经验比较:可靠系统动态重构的建模与分析(2017)
  9. da Costa Cavalheiro,SimOne and Ree;FoSs,Luciana;里贝罗,Leila:具有属性和负应用条件的图文法定理证明(2017)
  10. 基什内尔、琳恩:重写策略与战略重写程序(2015)
  11. 基辛格,Aleks;Zamdzhiev,弗拉迪米尔:量子:图解推理的证明助手(2015)
  12. da Costa、西蒙尼、安德烈、里贝罗、Leila:用逻辑方法验证图文法(2012)
  13. 费尔南德斯,Maribel;基什内尔,H·L·E;Namet,奥利维尔:图形重写的策略语言(2012)
  14. 戈拉斯,ULRIKE;LAMBER,LeeN;Errg,Hartmut;Orejas,费尔南多:具有继承性的属性图变换:高效的冲突检测和使用抽象临界对的局部汇流分析(2012)
  15. 克劳斯,基督教;吉塞,霍格尔:概率图变换系统(2012)
  16. 里贝罗,Leila;多斯桑托斯,Osmar Marchi;多蒂,Fernando Lu;Foss,Luciana:正确的转换:从基于对象的图形语法到PROMELA(2012)
  17. 克劳斯,克里斯蒂安;Maraikar,Ziyan;拉佐维克,亚力山大;阿巴布,法拉德:用高级替代系统建模Reo中的动态重新配置(2011)
  18. Dominik,Wehrheim,Heike;WuniSH,丹尼尔:完整的抽象图变换(2011)
  19. 巴尔丹,Paolo;查坦,托马斯;Haar,斯特凡;K·Nyg,巴巴拉:基于展开式拓扑演化系统的诊断(2010)
  20. Biermann、恩里科、Ermel、克劳蒂亚、兰伯斯、莱恩、普朗格、尤里克、朗格、奥尔加、Taunz、Gabriele:通过会议调度系统的建模介绍AGG和EMF老虎(2010)伊波尔特

进一步的出版物可以在:http://gult.SooSoFix.NET/QuooLoad