Transformation Correctness is a formal property in model transformation that specifies the extent to which a transformation preserves the intended semantic and syntactic relationships between source and target models according to a given correctness criterion.
35
Publications
2.8K
Citations
67
Authors
29
Institutions
Publications per year
2017–2026
2
Parents
Publications
35
1–5 of 35
Authors
67
- ES
4
h-index
- RS
4
h-index
- AA
4
h-index
- HE
3
h-index
- MG
3
h-index
1–5 of 67
Institutions
29
Stanford University
Stanford, United States
4 h-index
12 publications
1.2K citations
University of Bremen
Bremen, Germany
3 h-index
6 publications
102 citations
Technische Universität Berlin
Berlin, Germany
3 h-index
6 publications
236 citations
Imperial College London
London, United Kingdom
2 h-index
2 publications
558 citations
Universidad Autónoma de Madrid
Madrid, Spain
2 h-index
7 publications
93 citations
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
Rome, Italy
2 h-index
2 publications
54 citations
University of Luxembourg
Luxembourg, Luxembourg
2 h-index
2 publications
38 citations
University of Edinburgh
Edinburgh, United Kingdom
2 h-index
2 publications
305 citations
1–8 of 29
Venues
- Software & Systems Modeling
SoSyM · 3 publications · 304 citations
3
h-index
- ACM SIGPLAN Notices
2 publications · 41 citations
2
h-index
- IEEE Transactions on Software Engineering
TSE · 2 publications · 86 citations
2
h-index
- Mathematical Structures in Computer Science
MSCS · 2 publications · 238 citations
2
h-index
- Journal of the American Statistical Association
2 publications · 558 citations
2
h-index
1–5