Verification of Model Transformations A Survey of the State-of-the-Art 模型转换的验证 对现状的调查
摘要：
模型驱动工程范式认为软件开发生命周期由工件（需求规范、分析和设计文档、测试套件、源代码）支持，这些工件是表示要构建的系统不同视图的模型。存在一个由模型转换驱动的（半）自动构造过程，从系统的抽象模型开始转换直到生成一个可执行的模型。 本文关注模型转换，尤其是它们的验证，要验证的最低要求是转换以及源模型 阅读全文
posted @ 2019-03-30 22:19 Pusteblume2018 阅读(197) 评论(0) 推荐(0) 编辑
