Model transformations, utilized for various tasks, such as formal model analysis or code generation are key elements of model-driven development processes. As the complexity of developed model transformations grows, ensuring the correctness of transformation programs becomes increasingly difficult. Nonetheless, error detection is critical as errors can propagate into the target application. © 2010 Springer-Verlag.
CITATION STYLE
Ujhelyi, Z. (2010). Static type checking of model transformation programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6372 LNCS, pp. 413–415). https://doi.org/10.1007/978-3-642-15928-2_36
Mendeley helps you to discover research relevant for your work.