Search results for "qvt"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
186	Joel Greenyer, Ekkart Kindler	Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Query/View/Transformation (QVT), MDA, Model transformation, Triple Graph Grammar (TGG), Model-based software engineering
174	Perdita Stevens	A Simple Game-Theoretic Approach to Checkonly QVT Relations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
129	Angelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger	Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy.	ICECCS	2009	DBLP DOI BibTeX RDF
105	Ivan Kurtev	State of the Art of QVT: A Model Transformation Language Standard.	AGTIVE	2007	DBLP DOI BibTeX RDF	MDA, Model transformations, MDE, QVT
105	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
104	Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF	QVT Relations, Debugging, Model Transformations, CPN
98	Juan de Lara, Esther Guerra	Formal Support for QVT-Relations with Coloured Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF
76	Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer	Translation of QVT Relations into QVT Operational Mappings.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
75	Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez	ATL: a QVT-like transformation language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model transformation, model-driven engineering, QVT, ATL
74	Matthias Erche, Michael Wagner 0006, Christian Hein	Mapping visual notations to MOF compliant models with QVT relations.	SAC	2007	DBLP DOI BibTeX RDF	QVT relations, model transformation, domain specific languages, visual languages, OCL
74	Joel Greenyer, Ekkart Kindler	Reconciling TGGs with QVT.	MoDELS	2007	DBLP DOI BibTeX RDF	Query/View/Transformation (QVT), MDA, model transformation, Triple Graph Grammar (TGG), model based software engineering, model synchronization
68	Fabian Büttner, Mirco Kuhlmann	Shortcomings of the Embedding of OCL into QVT ImperativeOCL.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
60	Slavisa Markovic, Thomas Baar	Semantics of OCL specified with QVT.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	OCL Semantics, Graph-transformations, DSL, QVT
60	Perdita Stevens	Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.	MoDELS	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, QVT
53	Emilio Soler, Juan Trujillo 0001, Eduardo Fernández-Medina, Mario Piattini	A set of QVT relations to transform PIM to PSM in the Design of Secure Data Warehouses.	ARES	2007	DBLP DOI BibTeX RDF
53	Emilio Soler, Juan Trujillo 0001, Eduardo Fernández-Medina, Mario Piattini	Application of QVT for the Development of Secure Data Warehouses: A case study.	ARES	2007	DBLP DOI BibTeX RDF
53	Jose-Norberto Mazón, Juan Trujillo 0001, Jens Lechtenbörger	A Set of QVT Relations to Assure the Correctness of Data Warehouses by Using Multidimensional Normal Forms.	ER	2006	DBLP DOI BibTeX RDF
53	Slavisa Markovic, Thomas Baar	An OCL Semantics Specified with QVT.	MoDELS	2006	DBLP DOI BibTeX RDF
52	Artur Boronat, José A. Carsí, Isidro Ramos	Algebraic Specification of a Model Transformation Engine.	FASE	2006	DBLP DOI BibTeX RDF	Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT
44	Perdita Stevens	Bidirectional model transformations in QVT: semantic issues and open questions.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Bidirectional model transformation, Semantics, Model-driven development, QVT
43	Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger	A Petri Net Based Debugging Environment for QVT Relations.	ASE	2009	DBLP DOI BibTeX RDF	QVT Relations, Debugging, Model Transformations
38	Jens Kübler, Thomas Goldschmidt	A Pattern Mining Approach Using QVT.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
38	Emilio Soler, Juan Trujillo 0001, Eduardo Fernández-Medina, Mario Piattini	A Framework for the Development of Secure Data Warehouses based on MDA and QVT.	ARES	2007	DBLP DOI BibTeX RDF
38	Michael Hafner, Muhammad Alam, Ruth Breu	Towards a MOF/QVT-Based Domain Architecture for Model Driven Security.	MoDELS	2006	DBLP DOI BibTeX RDF
37	Lilia Muñoz, Jose-Norberto Mazón, Juan Trujillo 0001	Automatic generation of ETL processes from conceptual models.	DOLAP	2009	DBLP DOI BibTeX RDF	etl processes, mda, qvt, data warehouses
37	Artur Boronat, Reiko Heckel, José Meseguer 0001	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
37	Slavisa Markovic, Thomas Baar	Refactoring OCL annotated UML class diagrams.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Imperative OCL, Syntax preserving refactoring rules, Source code verification, Refactoring, Graph-transformations, QVT
37	Carlos Blanco 0001, Ignacio García Rodríguez de Guzmán, Eduardo Fernández-Medina, Juan Trujillo 0001, Mario Piattini	Automatic Generation of Secure Multidimensional Code for Data Warehouses: An MDA Approach.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF	SQL Server Analysis Services, Security, MDA, Data Warehouses, OLAP, QVT
37	Alfonso Rodríguez 0001, Eduardo Fernández-Medina, Mario Piattini	Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases.	BPM	2007	DBLP DOI BibTeX RDF	MDA, Business Processes, Security Requirement, BPMN, QVT
37	Felix Klar, Alexander Königs, Andy Schürr	Model transformation in the large.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	transformation modularization, model transformation, metamodeling, QVT, TGG, triple graph grammar
37	Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier	Definition and Correct Refinement of Operation Specifications.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF	System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT
37	Nora Koch, Gefei Zhang, María José Escalona Cuaresma	Model transformations from requirements to web system design.	ICWE	2006	DBLP DOI BibTeX RDF	qvt, requirements engineering, model transformations, model-driven development, metamodeling, web engineering, uml
37	Ignacio García Rodríguez de Guzmán, Macario Polo, Mario Piattini	A Methodology for Database Reengineering to Web Services.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	Web Service, reverse engineering, patterns, MDA, metamodel, reengineering, QVT
37	Laurence Tratt	Model transformations and tool integration.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Modelling, Transformations, Model transformations, Tool integration, QVT
37	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
37	Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din	From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.	TestCom	2005	DBLP DOI BibTeX RDF	UML 2.0 Testing Profile, UML, Testing, MDA, Model transformation, MOF, TTCN-3, QVT
37	Jose-Norberto Mazón, Juan Trujillo 0001, Manuel A. Serrano, Mario Piattini	Applying MDA to the development of data warehouses.	DOLAP	2005	DBLP DOI BibTeX RDF	MDA, data warehouse, QVT, multidimensional modeling
37	Jorn Bettin, Ghica van Emde Boas	Generative model transformer.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
37	Jorn Bettin, Ghica van Emde Boas, Edward D. Willink	Generative model transformer: an open source MDA tool initiative.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	generative model transformer (GMT), model driven architecture (MDA), open source, model transformation, domain-specific languages, QVT
36	Liliana Favre	A Formal Foundation for Metamodeling.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View
30	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
30	Laura Daniele, Luís Ferreira Pires, Marten van Sinderen	An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
30	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
30	Tony Clark 0001, Andy Evans, Paul Sammut, James S. Willans	Transformation Language Design: A Metamodelling Foundation.	ICGT	2004	DBLP DOI BibTeX RDF
23	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Implementing QVT-R via semantic interpretation in UML-RSDS.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
23	Mohamed Achraf Habri, Redouane Esbai, Yasser Lamlili El Mazoui Nadori	BPMN to UML Class Diagram Using QVT.	NISS (Springer)	2021	DBLP DOI BibTeX RDF
23	Jihane El Mokhtari, Anas Abou El Kalam, Siham Benhadou, Jean-Philippe Leroy	Transformation of PrivUML into XACML Using QVT.	SoCPaR	2020	DBLP DOI BibTeX RDF
23	Regina Hebig, Christoph Seidl 0001, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski	Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT.	SE/SWM	2019	DBLP DOI BibTeX RDF
23	Bernhard Westfechtel	Case-based exploration of bidirectional transformations in QVT Relations.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
23	Bernhard Westfechtel	Incremental Bidirectional Transformations: Applying QVT Relations to the Families to Persons Benchmark.	ENASE	2018	DBLP DOI BibTeX RDF
23	Regina Hebig, Christoph Seidl 0001, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski	Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
23	Dae-Kyoo Kim, Lunjin Lu, Byunghun Lee	Design pattern-based model transformation supported by QVT.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
23	Bernhard Westfechtel	Case Studies for Bidirectional Transformations in QVT Relations.	Software Engineering	2017	DBLP BibTeX RDF
23	Stephan Seifermann, Jörg Henß	Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models.	BX@ETAPS	2017	DBLP BibTeX RDF
23	Horacio Hoyos Rodriguez	Synthesis of execution plans for the QVT core language.		2017	RDF
23	Nuno Macedo, Alcino Cunha	Least-change bidirectional model transformation with QVT-R and ATL.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
23	Sandra Greiner 0001, Thomas Buchmann	Round-trip Engineering UML Class Models and Java Models: A Real-world Use Case for Bidirectional Transformations with QVT-R.	Int. J. Inf. Syst. Model. Des.	2016	DBLP DOI BibTeX RDF
23	Sandra Greiner 0001, Thomas Buchmann, Bernhard Westfechtel	Bidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source Code.	MODELSWARD	2016	DBLP DOI BibTeX RDF
23	Imane Essebaa, Salima Chantit	Toward an automatic approach to get PIM level from CIM level using QVT rules.	SITA	2016	DBLP DOI BibTeX RDF
23	Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola	A quality driven extension to the QVT-relations transformation language.	Comput. Sci. Res. Dev.	2015	DBLP DOI BibTeX RDF
23	Kurt Stenzel, Nina Moebius, Wolfgang Reif	Formal verification of QVT transformations for code generation.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
23	Ana Karen Vega Maqueda, Silvestre Gustavo Peláez-Camarena, Ulises Juárez-Martínez, María Antonieta Abud-Figueroa, Luis Ángel Reyes Hernández	Aplicación del patrón de transformación de síntesis para la comparación de los lenguajes ATL vs. QVT.	Res. Comput. Sci.	2015	DBLP BibTeX RDF
23	Severino Feliciano Morales, Omar Martínez Grassi, Claudia Pons, Gabriel Baum	Variable-Based Analysis for Traceability in QVT-R Model Transformations.	CIbSE	2015	DBLP BibTeX RDF
23	Dae-Kyoo Kim, Byunghun Lee	Pattern-based transformation of sequence diagrams using QVT.	SAC	2015	DBLP DOI BibTeX RDF
23	Bernhard Westfechtel	A Case Study for Evaluating Bidirectional Transformations in QVT Relations.	ENASE	2015	DBLP DOI BibTeX RDF
23	Bernhard Westfechtel	A Case Study for a Bidirectional Transformation Between Heterogeneous Metamodels in QVT Relations.	ENASE (Selected Papers)	2015	DBLP DOI BibTeX RDF
23	Esther Guerra, Juan de Lara	Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.	Softw. Syst. Model.	2014	DBLP DOI BibTeX RDF
23	George-Dimitrios Kapos, Vassilis Dalakas, Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos	Model-based system engineering using SysML: Deriving executable simulation models with QVT.	SysCon	2014	DBLP DOI BibTeX RDF
23	Alexander Kraas	Realizing Model Simplifications with QVT Operational Mappings.	OCL@MoDELS	2014	DBLP BibTeX RDF
23	Simon Schwichtenberg, Christian Gerth, Zille Huma, Gregor Engels	Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.	ECMFA	2014	DBLP DOI BibTeX RDF
23	Perdita Stevens	A simple game-theoretic approach to checkonly QVT Relations.	Softw. Syst. Model.	2013	DBLP DOI BibTeX RDF
23	Belén Vela, Jose-Norberto Mazón, Carlos Blanco 0001, Eduardo Fernández-Medina, Juan Trujillo 0001, Esperanza Marcos	Development of Secure XML Data Warehouses with QVT.	Inf. Softw. Technol.	2013	DBLP DOI BibTeX RDF
23	Edward D. Willink, Horacio Hoyos, Dimitris S. Kolovos	Yet Another Three QVT Languages.	ICMT	2013	DBLP DOI BibTeX RDF
23	A. Gonzalez, Marcelo Uva, Mariana Frutos	Refactoring Java code by transformation rules in QVT-Relation.	CLEI	2013	DBLP DOI BibTeX RDF
23	Daniel Calegari, Nora Szasz	Institution-Based Semantics for MOF and QVT-Relations.	SBMF	2013	DBLP DOI BibTeX RDF
23	Daniel Calegari, Andrea Delgado 0001	Rule Chains Coverage for Testing QVT-Relations Transformations.	AMT@MoDELS	2013	DBLP BibTeX RDF
23	Julian C. Bradfield, Perdita Stevens	Enforcing QVT-R with mu-Calculus and Games.	FASE	2013	DBLP DOI BibTeX RDF
23	Nuno Macedo, Alcino Cunha	Implementing QVT-R Bidirectional Model Transformations Using Alloy.	FASE	2013	DBLP DOI BibTeX RDF
23	Esther Guerra, Juan de Lara	An Algebraic Semantics for QVT-Relations Check-only Transformations.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
23	Dan Li, Xiaoshan Li, Volker Stolz	Model querying with graphical notation of QVT relations.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
23	Sunuk Park, Dae-Kyoo Kim, Sooyong Park	Pattern-Based Model Transformation Using QVT.	APSEC	2012	DBLP DOI BibTeX RDF
23	Julian C. Bradfield, Perdita Stevens	Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.	FASE	2012	DBLP DOI BibTeX RDF
23	Kun Ma 0001, Bo Yang 0001, Zhenxiang Chen, Ajith Abraham	A Relational Approach to Model Transformation with QVT Relations Supporting Model Synchronization.	J. Univers. Comput. Sci.	2011	DBLP DOI BibTeX RDF
23	Dan Li, Xiaoshan Li, Volker Stolz	QVT-based model transformation using XSLT.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
23	Jesús Pardillo, Jose-Norberto Mazón, Juan Trujillo 0001	An MDA Approach and QVT Transformations for the Integrated Development of Goal-Oriented Data Warehouses and Data Marts.	J. Database Manag.	2011	DBLP DOI BibTeX RDF
23	Vincent Aranega, Anne Etien, Jean-Luc Dekeyser	Using an Alternative Trace for QVT.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
23	Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires	Performance in Model Transformations: Experiments with ATL and QVT.	ICMT@TOOLS	2011	DBLP DOI BibTeX RDF
23	J. A. García-García, C. R. Cutilla, M. José Escalona, M. Alba, Jesús Torres Valderrama	NDT-Driver: A Java Tool to Support QVT Transformations for NDT.	ISD	2011	DBLP DOI BibTeX RDF
23	Ali Fatolahi, Stéphane S. Somé, Timothy C. Lethbridge	Toward Reusability in Web Modeling - Using QVT Relations.	WEBIST	2011	DBLP BibTeX RDF
23	Kurt Stenzel, Nina Moebius, Wolfgang Reif	Formal Verification of QVT Transformations for Code Generation.	MoDELS	2011	DBLP DOI BibTeX RDF
23	Hui Song, Gang Huang 0001, Franck Chauvel, Wei Zhang 0004, Yanchun Sun, Weizhong Shao, Hong Mei 0001	Instant and Incremental QVT Transformation for Runtime Models.	MoDELS	2011	DBLP DOI BibTeX RDF
23	Maged Elaasar, Lionel C. Briand, Yvan Labiche	Domain-Specific Model Verification with QVT.	ECMFA	2011	DBLP DOI BibTeX RDF
23	Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum	A Two-level Calculus for Composing Hybrid QVT Transformations.	CLEI Electron. J.	2010	DBLP DOI BibTeX RDF
23	Jing Dong 0005, Yajing Zhao, Yongtao Sun	Design pattern evolutions in QVT.	Softw. Qual. J.	2010	DBLP DOI BibTeX RDF
23	Siegfried Nolte	QVT - Operational Mappings: Modellierung mit der Query Views Transformation.		2010	DOI RDF
23	Liliana Favre	Foundations for QVT Transformation.	Software Engineering Research and Practice	2010	DBLP BibTeX RDF
23	Katia Vila, Jose-Norberto Mazón, Antonio Ferrández	Using QVT for adapting question analysis to restricted domain QA systems.	SEKE	2010	DBLP BibTeX RDF
23	Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini	Implementing Business Process Recovery Patterns through QVT Transformations.	ICMT@TOOLS	2010	DBLP DOI BibTeX RDF
23	István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf	Implementing QVT in a Domain-specific Modeling Framework.	ICSOFT (2)	2010	DBLP BibTeX RDF
23	Siegfried Nolte	M2M-Transformation mit der QVT Operational Mappings.	GI Jahrestagung (2)	2010	DBLP BibTeX RDF