[BOG][B] Model-driven software engineering in practice

M Brambilla, J Cabot, M Wimmer - 2017 - books.google.com
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 …

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 …

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 …

Refactoring: Current research and future trends

T Mens, S Demeyer, B Du Bois, H Stenten… - Electronic Notes in …, 2003 - Elsevier
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 …

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 …

Verification and validation of declarative model-to-model transformations through invariants

J Cabot, R Clarisó, E Guerra, J de Lara - Journal of Systems and Software, 2010 - Elsevier
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 …

Tutorial introduction to graph transformation: A software engineering perspective

L Baresi, R Heckel - International Conference on Graph Transformation, 2002 - Springer
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 …

Analysing refactoring dependencies using graph transformation

T Mens, G Taentzer, O Runge - Software & Systems Modeling, 2007 - Springer
Refactoring is a widely accepted technique to improve the structure of object-oriented
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 …

Graph Transformation for Software Engineers

R Heckel, G Taentzer - Springer International Publishing, doi, 2020 - Springer
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 …