Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin-Reference-Cited by-同舟云学术

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin

Published:2015 Issue: Volume: Page:165-168
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Born Kristopher,Arendt Thorsten,Heß Florian,Taentzer Gabriele

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46675-9_11

Reference9 articles.

1. AGG, http://user.cs.tu-berlin.de/~gragra/agg/

2. Lecture Notes in Computer Science;T. Arendt,2010

3. Arendt, T., Taentzer, G.: A tool environment for quality assurance based on the Eclipse Modeling Framework. Automated Software Engineering 20(2), 141–184 (2013), http://www.eclipse.org/emf-refactor

4. Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. SoSyM 11(2), 227–250 (2012)

5. Eclipse: Eclipse Modeling Framework (EMF), http://www.eclipse.org/emf

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size;Software and Systems Modeling;2021-11-17

2. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars;Graph Transformation;2021

3. Theorem proving graph grammars with attributes and negative application conditions;Theoretical Computer Science;2017-07

4. Search-based model transformations;Journal of Software: Evolution and Process;2016-10-11

5. Backwards reasoning for model transformations: Method and applications;Journal of Systems and Software;2016-06