37 papers:
SAC-2015-KimL #diagrams #qvt #sequence chart #using- Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt- Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus- Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
- FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using
- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
AMT-2013-CalegariD #qvt #testing- Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
ICMT-2013-WillinkHK #qvt- Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
- FASE-2012-BradfieldS #calculus #qvt #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 #qvt #verification
- Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
- ICMT-2011-AmstelBKP #atl #model transformation #performance #qvt
- Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
MoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime- Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
- MoDELS-2011-StenzelMR #code generation #qvt #verification
- Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
- MoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime
- Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
- MoDELS-2011-StenzelMR #code generation #qvt #verification
- Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
SEKE-2010-VilaMF #adaptation #analysis #qvt #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 #qvt
- Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
ASE-2009-WimmerKSKRS #debugging #petri net #qvt- A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
- ECMDA-FA-2009-KublerG #approach #mining #qvt #using
- A Pattern Mining Approach Using QVT (JK, TG), pp. 50–65.
- ICMT-2009-Stevens #approach #game studies #qvt
- A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
- MoDELS-2009-LaraG #petri net #qvt
- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
- MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #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 #qvt
- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
- MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
GT-VMT-2006-RensinkN08 #graph transformation #qvt #semantics- Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
ICEIS-DISI-2008-MoraGRPBGCR #metric #qvt #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 #qvt
- A QVT-Based Approach for Model Composition — Application to the VUML Profile (AA, SE, MN, BC, AK), pp. 360–367.
- ICMT-2008-RomeikatRMB #qvt
- Translation of QVT Relations into QVT Operational Mappings (RR, SR, PM, BB), pp. 137–151.
AGTIVE-2007-Kurtev #model transformation #qvt #standard #state of the art- State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
- MoDELS-2007-GreenyerK #graph grammar #qvt
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
- MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
- MoDELS-2007-GreenyerK #graph grammar #qvt
- Reconciling TGGs with QVT (JG, EK), pp. 16–30.
- MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
- SAC-2007-ErcheWH #modelling #qvt #visual notation
- Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
- MoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards
- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
- MoDELS-2006-MarkovicB #ocl #qvt #semantics
- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
- MoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards
- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
- MoDELS-2006-MarkovicB #ocl #qvt #semantics
- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
- SAC-2006-JouaultK #architecture #atl #on the #qvt
- On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
