807 search results - page 76 / 162 » Model Transformation Language MOLA |
ICMT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
DFG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...