2608 search results - page 129 / 522 » Subjects, Models, Languages, Transformations |
151
click to vote
FMOODS
2007
15 years 7 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
156
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
177
click to vote
STTT
2010
15 years 4 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
149
click to vote
SIGIR
2002
ACM
15 years 5 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
143
click to vote
TECS
2008
15 years 6 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...