Tag #qvt
38 papers:
ESEC-FSE-2018-HebigSBPW #atl #empirical #model transformation #transformation language- Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT (RH, CS, TB, JKP, AW), pp. 445–455.
BX-2017-SeifermannH #comparison #modelling #syntax- Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models (SS, JH), pp. 6–14.
ICMT-2017-Willink #eclipse #execution- The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.
SAC-2015-KimL #diagrams #sequence chart #using- Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ECMFA-2014-SchwichtenbergGHE #modelling #normalisation- Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
AMT-2013-CalegariD #testing- Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
ICMT-2013-WillinkHK - Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
FASE-2013-BradfieldS #calculus #game studies #μ-calculus- Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #using- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
FASE-2012-BradfieldS #calculus #recursion #μ-calculus- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
ECMFA-2011-ElaasarBL #verification- Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
ICMT-2011-AmstelBKP #atl #model transformation #performance- Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
MoDELS-2011-SongHCZSSM #incremental #modelling #runtime- Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
MoDELS-2011-StenzelMR #code generation #verification- Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
SEKE-2010-VilaMF #adaptation #analysis #strict #using- Using QVT for adapting question analysis to restricted domain QA systems (KV, JNM, AF), pp. 335–338.
ICMT-2010-Perez-CastilloGP #implementation #process- Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
ECMDA-FA-2009-KublerG #approach #mining #using- A Pattern Mining Approach Using QVT (JK, TG), pp. 50–65.
ICMT-2009-Stevens #approach #game studies- A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
MoDELS-2009-LaraG #petri net- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #using- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
MoDELS-2009-LaraG #petri net- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #using- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
ASE-2009-WimmerKSKRS #debugging #petri net- A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
GT-VMT-2006-RensinkN08 #graph transformation #semantics- Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
ICEIS-DISI-2008-MoraGRPBGCR #metric #using- Software Measurement by Using QVT Transformations in an MDA Context (BM, FG, FR, MP, AB, AG, JÁC, IR), pp. 117–124.
ICEIS-ISAS2-2008-AnwarENCK #approach #composition- A QVT-Based Approach for Model Composition — Application to the VUML Profile (AA, SE, MN, BC, AK), pp. 360–367.
ICMT-2008-RomeikatRMB - Translation of QVT Relations into QVT Operational Mappings (RR, SR, PM, BB), pp. 137–151.
AGTIVE-2007-Kurtev #model transformation #standard #state of the art #transformation language- State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
MoDELS-2007-GreenyerK #graph grammar- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
MoDELS-2007-Stevens #bidirectional #model transformation #semantics- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MoDELS-2007-GreenyerK #graph grammar- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
MoDELS-2007-Stevens #bidirectional #model transformation #semantics- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
SAC-2007-ErcheWH #modelling #visual notation- Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
MoDELS-2006-HafnerAB #architecture #modelling #security #towards- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MoDELS-2006-MarkovicB #ocl #semantics- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MoDELS-2006-HafnerAB #architecture #modelling #security #towards- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MoDELS-2006-MarkovicB #ocl #semantics- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
SAC-2006-JouaultK #architecture #atl #on the- On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.