Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423574 | Electronic Notes in Theoretical Computer Science | 2008 | 19 Pages |
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