BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
QVT
Google QVT

Tag #qvt

38 papers:

ESEC-FSEESEC-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.
MDEBX-2017-SeifermannH #comparison #modelling #syntax
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models (SS, JH), pp. 6–14.
ICMTICMT-2017-Willink #eclipse #execution
The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.
SACSAC-2015-KimL #diagrams #sequence chart #using
Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
AMTAMT-2013-CalegariD #testing
Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
ICMTICMT-2013-WillinkHK
Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
FASEFASE-2013-BradfieldS #calculus #game studies #μ-calculus
Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
FASEFASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #using
Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
FASEFASE-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.
ECMFAECMFA-2011-ElaasarBL #verification
Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
ICMTICMT-2011-AmstelBKP #atl #model transformation #performance
Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
MODELSMoDELS-2011-SongHCZSSM #incremental #modelling #runtime
Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
MODELSMoDELS-2011-StenzelMR #code generation #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
SEKESEKE-2010-VilaMF #adaptation #analysis #strict #using
Using QVT for adapting question analysis to restricted domain QA systems (KV, JNM, AF), pp. 335–338.
ICMTICMT-2010-Perez-CastilloGP #implementation #process
Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
ECMFAECMDA-FA-2009-KublerG #approach #mining #using
A Pattern Mining Approach Using QVT (JK, TG), pp. 50–65.
ICMTICMT-2009-Stevens #approach #game studies
A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
MODELSMoDELS-2009-LaraG #petri net
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-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.
MODELSMoDELS-2009-LaraG #petri net
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-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.
ASEASE-2009-WimmerKSKRS #debugging #petri net
A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
GT-VMTGT-VMT-2006-RensinkN08 #graph transformation #semantics
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
ICEISICEIS-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.
ICEISICEIS-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.
ICMTICMT-2008-RomeikatRMB
Translation of QVT Relations into QVT Operational Mappings (RR, SR, PM, BB), pp. 137–151.
AGTIVEAGTIVE-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.
MODELSMoDELS-2007-GreenyerK #graph grammar
Reconciling TGGs with QVT (JG, EK), pp. 16–30.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-GreenyerK #graph grammar
Reconciling TGGs with QVT (JG, EK), pp. 16–30.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
SACSAC-2007-ErcheWH #modelling #visual notation
Mapping visual notations to MOF compliant models with QVT relations (ME, MW, CH), pp. 1037–1038.
MODELSMoDELS-2006-HafnerAB #architecture #modelling #security #towards
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MODELSMoDELS-2006-MarkovicB #ocl #semantics
An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
MODELSMoDELS-2006-HafnerAB #architecture #modelling #security #towards
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MODELSMoDELS-2006-MarkovicB #ocl #semantics
An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
SACSAC-2006-JouaultK #architecture #atl #on the
On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.