Search results for "Transformation Tools"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Robbie Schaefer	A Survey on Transformation Tools for Model Based User Interface Development.	HCI	2007	DBLP DOI BibTeX RDF	Transformation Tools, Model Driven Architecture, Model Based User Interface Development, User Interface Engineering
2	Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Magiel Bruntink	Linking Analysis and Transformation Tools with Source-Based Mappings.	SCAM	2006	DBLP DOI BibTeX RDF
2	Michael L. Van de Vanter	Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools.	SCAM	2001	DBLP DOI BibTeX RDF	prettyprinting, unparsing, programming languages, program understanding, comments, source code transformations
2	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
1	Francisco Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens	A case study to evaluate the suitability of graph transformation tools for program refactoring.	STTT	2010	DBLP DOI BibTeX RDF
1	Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró	Efficient Model Transformations by Combining Pattern Matching Strategies.	ICMT	2009	DBLP DOI BibTeX RDF
1	Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel	On Realizing a Framework for Self-tuning Mappings.	TOOLS	2009	DBLP DOI BibTeX RDF
1	Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp	Implementing Petri Net Transformations using Graph Transformation Tools.	ECEASST	2008	DBLP BibTeX RDF
1	Ramzi Ben Salem, Reyes Grangel, Jean Pierre Bourey	A comparison of model transformation tools: Application for Transforming GRAI Extended Actigrams into UML Activity Diagrams.	Computers in Industry	2008	DBLP DOI BibTeX RDF
1	Éric Renault, Charles Ancelin, Willy Jimenez, Oscar Botero	Using Source-to-Source Transformation Tools to Provide Distributed Parallel Applications from OpenMP Source Code.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
1	Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White	From dirt to shovels: fully automatic tool generation from ad hoc data.	POPL	2008	DBLP DOI BibTeX RDF	ad hoc data, grammar induction, data description languages, tool generation
1	Timo Vepsäläinen, David Hästbacka, Seppo Kuikka	Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Carsten Amelunxen, Elodie Legros, Andy Schürr	Generic and reflective graph transformations for the checking and enforcement of modeling guidelines.	VL/HCC	2008	DBLP DOI BibTeX RDF
1	Jesús Sánchez Cuadrado, Jesús García Molina	Approaches for Model Transformation Reuse: Factorization and Composition.	ICMT	2008	DBLP DOI BibTeX RDF
1	Gourinath Banda, John P. Gallagher	Analysis of Linear Hybrid Systems in CLP.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Pieter Van Gorp, Anne Keller, Dirk Janssens	Transformation Language Integration Based on Profiles and Higher Order Transformations.	SLE	2008	DBLP DOI BibTeX RDF
1	Hongzhi Liang, Jürgen Dingel	A Practical Evaluation of Using TXL for Model Transformation.	SLE	2008	DBLP DOI BibTeX RDF
1	Mieke Haesen, Karin Coninx, Jan Van den Bergh, Kris Luyten	MuiCSer: A Process Framework for Multi-disciplinary User-Centred Software Engineering Processes.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	User-Centred Software Engineering, User-Centred Design, Process Framework
1	Reiko Heckel, Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luis Filipe Andrade	Architectural Transformations: From Legacy to Three-Tier and Services.	Software Evolution	2008	DBLP DOI BibTeX RDF
1	Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horvath, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk	Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf	Ludo: A Case Study for Graph Transformation Tools.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote	A software framework for automated verification.	SAC	2007	DBLP DOI BibTeX RDF	model transformation and verification, integration, framework
1	Youngha Chang, Suguru Saito, Masayuki Nakajima	Example-Based Color Transformation of Image and Video Using Basic Color Categories.	IEEE Transactions on Image Processing	2007	DBLP DOI BibTeX RDF
1	Arend Rensink, Gabriele Taentzer	AGTIVE 2007 Graph Transformation Tool Contest.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Erhard Weinell	Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database.	AGTIVE	2007	DBLP DOI BibTeX RDF
1	Francisco J. Ortiz, Juan A. Pastor, Diego Alonso, Bárbara Álvarez, Pedro Sánchez	Experiences Using a Component-Oriented Architectural Framework for Robots and Its Improvement with a MDE Approach.	ECSA	2007	DBLP DOI BibTeX RDF	teleoperated robot, MDE, component-based software architecture
1	Fulvio D'Antonio, Michele Missikoff, Paolo Bottoni, Axel Hahn, Kevin Hausmann	An ontology for describing model mapping/transformation tools and methodologies: the MoMo ontology.	EMOI-INTEROP	2006	DBLP BibTeX RDF
1	Andy Gill	Introducing the Haskell equational reasoning assistant.	Haskell	2006	DBLP DOI BibTeX RDF	ajax applications, transformation tools, equational reasoning
1	Susanta Nanda, Wei Li 0020, Lap-Chung Lam, Tzi-cker Chiueh	BIRD: Binary Interpretation using Runtime Disassembly.	CGO	2006	DBLP DOI BibTeX RDF
1	Anneke Kleppe	MCC: A Model Transformation Environment.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
1	Dietmar Jannach, Klaus Leopold, Christian Timmerer, Hermann Hellwagner	A knowledge-based framework for multimedia adaptation.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Knowledge-based systems, Planning, Semantic web services, Multimedia applications
1	Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo	The design of a language for model transformations.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	UML, Model driven architecture, Model transformation, Graph transformation, Graph rewriting
1	Francesco Parisi-Presicce, Yujie Zhao	Policy Analysis and Verification by Graph Transformation Tools.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Joseph J. C. Chang, Robert J. Walker	Incomplete resolution of references in Eclipse.	ETX	2005	DBLP DOI BibTeX RDF
1	Andrea D'Ambrogio	A model transformation framework for the automated building of performance models from UML models.	WOSP	2005	DBLP DOI BibTeX RDF	automated model building, UML, MDA, model transformation, software performance, LQN
1	Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.	SCAM	2005	DBLP DOI BibTeX RDF
1	Gergely Varró, Andy Schürr, Dániel Varró	Benchmarking for Graph Transformation.	VL/HCC	2005	DBLP DOI BibTeX RDF
1	Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke	Reengineering C++ Component Models via Automatic Program Transformation.	WCRE	2005	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
1	Candelaria Sansores, Juan Pavón	Agent Based Simulation for Social Systems: From Modeling to Implementation.	CAEPIA	2005	DBLP DOI BibTeX RDF
1	Anneke Kleppe	Towards General Purpose, High Level, Software Languages.	ECMDA-FA	2005	DBLP DOI BibTeX RDF	UML, design patterns, programming language, MDA, model transformations, domain specific languages, OCL, Modeling language
1	Thomas R. Dean, Mykyta Synytskyy	Agile Parsing to Transform Web Applications.	GTTSE	2005	DBLP DOI BibTeX RDF
1	Dirk Heuzeroth, Uwe Aßmann, Mircea Trifu, Volker Kuttruff	The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors.	GTTSE	2005	DBLP DOI BibTeX RDF
1	Tom Mens	On the Use of Graph Transformations for Model Refactoring.	GTTSE	2005	DBLP DOI BibTeX RDF
1	David C. Brogan, Paul F. Reynolds Jr., Robert G. Bartholet, Joseph C. Carnahan, Yannick Loitière	Semi-automated Simulation Transformation for DDDAS.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Candelaria Sansores, Juan Pavón	Agent-Based Simulation Replication: A Model Driven Architecture Approach.	MICAI	2005	DBLP DOI BibTeX RDF
1	Zhiming Liu, R. Venkatesh	Methods and Tools for Formal Software Engineering.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Petra Malik, Mark Utting	CZT: A Framework for Z Tools.	ZB	2005	DBLP DOI BibTeX RDF
1	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
1	Susan Kansagra, Chris Chang, Saleem Hussain, Gregory Hulka, Linda Gray Leithe	Online Medical Teaching Case Database.	CBMS	2004	DBLP DOI BibTeX RDF
1	Gabor Karsai	Automotive Software: A Challenge and Opportunity for Model-Based Software Development.	ASWSD	2004	DBLP DOI BibTeX RDF
1	Shawn Bowers, Bertram Ludäscher	An Ontology-Driven Framework for Data Transformation in Scientific Workflows.	DILS	2004	DBLP DOI BibTeX RDF
1	Dietmar Jannach, Klaus Leopold, Hermann Hellwagner	An Extensible Framework for Knowledge-Based Multimedia Adaptation.	IEA/AIE	2004	DBLP DOI BibTeX RDF
1	Giuliano Antoniol, Massimiliano Di Penta, Gianluca Masone, Umberto Villano	XOgastan: XML-Oriented gcc AST Analysis and Transformations.	SCAM	2003	DBLP DOI BibTeX RDF	source code analysis tools, XML, gcc, GXL
1	Nicolas Guelfi, Benoît Ries, Paul Sterges	MEDAL: A CASE Tool Extension for Model-Driven Software Engineering.	SwSTE	2003	DBLP DOI BibTeX RDF
1	Gabor Karsai, Aditya Agrawal	Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF	formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages
1	Eelco Visser	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler	Metaprogramming Library for the C# Programming Language.	JMLC	2003	DBLP DOI BibTeX RDF
1	Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier	Compiling language definitions: the ASF+SDF compiler.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	language definition, maximal subterm sharing, Compilation, term rewriting
1	Ira D. Baxter	Transformation Systems: Generative Reuse for Software Generation, Maintenance and Reengineering.	ICSR	2002	DBLP DOI BibTeX RDF
1	Merijn de Jonge, Eelco Visser, Joost Visser	XT: a bundle of program transformation tools.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	A Formal Model for Role-Based Access Control Using Graph Transformation.	ESORICS	2000	DBLP DOI BibTeX RDF
1	Ansgar Radermacher	Support for Design Patterns Through Graph Transformation Tools.	AGTIVE	1999	DBLP DOI BibTeX RDF
1	Jacob Brunekreef, Bob Diertens	Towards a User-Controlled Software Renovation Factory.	CSMR	1999	DBLP DOI BibTeX RDF
1	Ansgar Radermacher	DiTo - A Distribution Tool Based on Graph Rewriting.	AGTIVE	1999	DBLP DOI BibTeX RDF
1	Uwe Aßmann, Andreas Ludwig	Introducing Connections Into Classes With Static Meta-Programming.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Raju Pandey, Brant Hashii	Providing Fine-grained Access Control for Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou	Software design for reliability and reuse: a proof-of-concept demonstration.	TRI-Ada	1994	DBLP DOI BibTeX RDF
1	Kim Marriott, Harald Søndergaard, Neil D. Jones	Denotational Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
1	Bernd Mohr, Darryl Brown, Allen D. Malony	TAU: A Portable Parallel Program Analysis Environment for pC++.	CONPAR	1994	DBLP DOI BibTeX RDF
1	M. A. Waheed	A practical approach to re-engineering software.	CASCON	1992	DBLP DOI BibTeX RDF
1	Fosca Giannotti, Manuel V. Hermenegildo	A Technique for Recursive Invariance Detection and Selective Program Specification.	PLILP	1991	DBLP DOI BibTeX RDF	Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
1	Reinhard Wilhelm	Tree Tranformations, Functional Languages, and Attribute Grammars.	WAGA	1990	DBLP DOI BibTeX RDF
1	James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky	Program Generation and Transformation - Tools for Mathematical Software Development.	IFIP Congress	1977	DBLP BibTeX RDF