Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook
Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …
December 2008 near Tokyo, Japan. The meeting brought together researchers and …
A survey on UML-based aspect-oriented design modeling
Aspect-orientation provides a new way of modularization by clearly separating crosscutting
concerns from noncrosscutting ones. While aspect-orientation originally has emerged at the …
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 …
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 …
Procedural modeling of buildings
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 …
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 …
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 …
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 …
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 …
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
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 …
number of continuous queries. Both the objects and continuous queries may change their …