Verification of ATL Transformations Using Transformation Models and Model Finders
Lecture Notes in Computer Science - Trang 198-213 - 2012
Tóm tắt
In model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced by a...