Article ID Journal Published Year Pages File Type
423574 Electronic Notes in Theoretical Computer Science 2008 19 Pages PDF
Abstract

Model Driven Engineering proposes the use of models at different levels of abstraction. Step by step validation of model refinements is necessary to guarantee the correctness of the final product with respect to its

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics