43 search results - page 1 / 9 » Information Preserving Bidirectional Model Transformations |
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
SACMAT
2006
ACM
13 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
PEPM
2007
ACM
13 years 10 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
ISSTA
2006
ACM
13 years 10 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
MVA
2007
13 years 6 months ago
2007
Shape matching plays an important role in many application fields. In this paper, we propose a novel rotation invariant 3D shape descriptor based on Hadamard transform and spheric...