Paper Info
Title
Static type checking of model transformation programs
Abstract
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.
Year
DOI
Venue
2010
10.1007/978-3-642-15928-2_36
ECEASST
Keywords
DocType
Volume
model transformation program,static type checking,error detection,code generation
Conference
38
ISSN
ISBN
Citations 
0302-9743
3-642-15927-3
1
PageRank 
References 
Authors
0.45
8
1
Name
Order
Citations
PageRank
Zoltán Ujhelyi11449.13