Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook

K Czarnecki, JN Foster, Z Hu, R Lämmel… - Theory and Practice of …, 2009 - Springer
Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

A survey on UML-based aspect-oriented design modeling

M Wimmer, A Schauerhuber, G Kappel… - ACM Computing …, 2011 - dl.acm.org
Aspect-orientation provides a new way of modularization by clearly separating crosscutting
concerns from noncrosscutting ones. While aspect-orientation originally has emerged at the …

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 …

Procedural modeling of buildings

P Müller, P Wonka, S Haegler, A Ulmer… - ACM SIGGRAPH 2006 …, 2006 - dl.acm.org
CGA shape, a novel shape grammar for the procedural modeling of CG architecture,
produces building shells with high visual quality and geometric detail. It produces extensive …

Model driven engineering

S Kent - International conference on integrated formal methods, 2002 - Springer
Abstract The Object Management Group's (OMG) Model Driven Architecture (MDA) strategy
envisages a world where models play a more direct role in software production, being …

[LIBRO][B] Modeling with UML

B Rumpe - 2016 - Springer
Designing large software systems is one of the big technical challenges of our time. The
scope and complexity of software have now reached dimensions that push all established …

[LIBRO][B] Algorithms on trees and graphs

G Valiente - 2002 - Springer
The notion of graph which is most useful in computer science is that of a directed graph or
just a graph. A graph is a combinatorial structure consisting of a finite nonempty set of …

Correctness of high-level transformation systems relative to nested conditions

A Habel, KH Pennemann - Mathematical Structures in Computer …, 2009 - cambridge.org
In this paper we introduce the notions of nested constraints and application conditions, short
nested conditions. For a category associated with a graphical representation such as …

Sea-cnn: Scalable processing of continuous k-nearest neighbor queries in spatio-temporal databases

X **ong, MF Mokbel, WG Aref - 21st International Conference …, 2005 - ieeexplore.ieee.org
Location-aware environments are characterized by a large number of objects and a large
number of continuous queries. Both the objects and continuous queries may change their …