Model Transformation Correctness is a formal property in model-driven development that specifies the extent to which a model transformation preserves the syntactic and semantic integrity of source models according to a defined set of correctness criteria.
52
Publications
2.2K
Citations
109
Authors
49
Institutions
Publications per year
2017–2026
8
Parents
Publications
52
1–5 of 52
Authors
109
- HE
7
h-index
- FH
6
h-index
- KL
4
h-index
- UG
4
h-index
- JT
4
h-index
1–5 of 109
Institutions
49
Technische Universität Berlin
Berlin, Germany
5 h-index
11 publications
414 citations
University of Luxembourg
Luxembourg, Luxembourg
5 h-index
5 publications
103 citations
Universidad de Málaga
Málaga, Spain
3 h-index
6 publications
314 citations
Universidad Autónoma de Madrid
Madrid, Spain
3 h-index
10 publications
189 citations
University of Toronto
Toronto, Canada
3 h-index
8 publications
101 citations
University of Bremen
Bremen, Germany
3 h-index
5 publications
141 citations
Universitat Politècnica de Catalunya
Barcelona, Spain
3 h-index
3 publications
78 citations
Reliable Software Resources (United States)
Northville, United States
3 h-index
9 publications
397 citations
1–8 of 49
Venues
- Software & Systems Modeling
SoSyM · 4 publications · 208 citations
4
h-index
- HAL (Le Centre pour la Communication Scientifique Directe)
Repository · 3 publications · 132 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 45 citations
2
h-index
- Open Repository and Bibliography (University of Luxembourg)
Repository · 2 publications · 42 citations
2
h-index
- Formal Aspects of Computing
2 publications · 49 citations
2
h-index
1–5