Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Authors:
- 31 December 2007
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 242-256
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Verification of Architectural Refactorings by Rule Extraction2008
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions2008
- Analysing refactoring dependencies using graph transformationSoftware and Systems Modeling, 2007
- Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contextsMathematical Structures in Computer Science, 2006
- A survey of software refactoringIEEE Transactions on Software Engineering, 2004
- Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting2004
- Towards Automating Source-Consistent UML Refactorings2003
- Bisimulation verification using the up to techniquesInternational Journal on Software Tools for Technology Transfer, 2001
- ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH1997