Formal methods; Model-driven; Object orientation; Compo-sitionality; Refinement; Inheritance;
机译:模型驱动工程环路中的人:在模型驱动工程存储库中集成手写代码的案例研究
机译:模型驱动服务工程的特殊问题:将模型驱动技术应用到服务工程来宾编辑的介绍中的好处
机译:基于组件的模型驱动设计中的细化和验证
机译:模型驱动工程中的合成性和细化
机译:一种模型驱动的方法,以统一事物互联网软件工程
机译:模型驱动的多价超分子缓冲工程
机译:模型驱动工程中的组成和细化
机译:优化模型驱动的测深推导算法的改进。