modeling; graph transformation; rewriting; MDA;
机译:上下文相关重写系统的转换技术
机译:通过基于图重写的模型转换的声明性描述进行自动验证
机译:使用模型仿真和基于搜索的技术为图形转换系统生成基于模型的测试套件
机译:图形重写和模型变换系统的分配技术
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
机译:重写系统和生物系统建模
机译:节点重写的无上下文超图语法11该研究得到了EC TMR网络GETGRATS(图转换系统的一般理论)和ESPRIT基础研究工作组APPLIGRAPH(图转换的应用)的部分支持。