[BOG][B] Model-driven software engineering in practice
This book discusses how model-based approaches can improve the daily practice of
software professionals. This is known as Model-Driven Software Engineering (MDSE) or …
software professionals. This is known as Model-Driven Software Engineering (MDSE) or …
A survey of software refactoring
T Mens, T Tourwé - IEEE Transactions on software engineering, 2004 - ieeexplore.ieee.org
We provide an extensive overview of existing research in the field of software refactoring.
This research is compared and discussed based on a number of different criteria: the …
This research is compared and discussed based on a number of different criteria: the …
Monographs in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
In the late 1960s and early 1970s, the concepts of graph transformation and graph
grammars started to become of interest in picture processing and computer science. The …
grammars started to become of interest in picture processing and computer science. The …
Refactoring: Current research and future trends
In this paper we provide an detailed overview of existing research in the field of software
restructuring and refactoring, from a formal as well as a practical point of view. Next, we …
restructuring and refactoring, from a formal as well as a practical point of view. Next, we …
Fundamental theory for typed attributed graph transformation
H Ehrig, U Prange, G Taentzer - … , ICGT 2004, Rome, Italy, September 28 …, 2004 - Springer
The concept of typed attributed graph transformation is most significant for modeling and
meta modeling in software engineering and visual languages, but up to now there is no …
meta modeling in software engineering and visual languages, but up to now there is no …
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …
model transformations in order to enable their verification and analysis. For this purpose we …
Tutorial introduction to graph transformation: A software engineering perspective
We give an introduction to graph transformation, not only for researchers in software
engineering, but based on applications of graph transformation in this domain. In particular …
engineering, but based on applications of graph transformation in this domain. In particular …
Analysing refactoring dependencies using graph transformation
Refactoring is a widely accepted technique to improve the structure of object-oriented
software. Nevertheless, existing tool support remains restricted to automatically applying …
software. Nevertheless, existing tool support remains restricted to automatically applying …
Model composition in product lines and feature interaction detection using critical pair analysis
P Jayaraman, J Whittle, AM Elkhodary… - Model Driven Engineering …, 2007 - Springer
Software product lines (SPL) are an established technology for develo** families of
systems. In particular, they focus on modeling commonality and variability, that is, they are …
systems. In particular, they focus on modeling commonality and variability, that is, they are …
Graph Transformation for Software Engineers
The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …
opportunities but also creating challenges and risks. More tasks will be automated using …