Iterative Development of Consistency-Preserving Rule-Based Refactorings-Reference-Cited by-同舟云学术

Iterative Development of Consistency-Preserving Rule-Based Refactorings

Published:2011 Issue: Volume: Page:123-137
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

Becker Basil,Lambers Leen,Dyck Johannes,Birth Stefanie,Giese Holger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21732-6_9

Reference17 articles.

1. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28 th International Conference on Software Engineering (ICSE). ACM Press, New York (2006)

2. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts Electronic Communication of the EASST 3 (2006)

3. Lecture Notes in Computer Science;D. Bisztray,2009

4. Cornélio, M., Cavalcanti, A., Sampaio, A.: Sound refactorings. Science of Computer Programming 75(3), 106–133 (2010)

5. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

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

1. A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties;Software and Systems Modeling;2023-01-17

2. Sustaining and improving graduated graph consistency: A static analysis of graph transformations;Science of Computer Programming;2022-02

3. Topological consistency preservation with graph transformation schemes;Science of Computer Programming;2022-02

4. Graph Consistency as a Graduated Property;Graph Transformation;2020

5. Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules;Graph Transformation;2019