5525 search results - page 369 / 1105 » Verification of Model Transformations |
217
Voted
POPL
2012
ACM
14 years 2 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...
181
Voted
ZEUS
2010
15 years 8 months ago
2010
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
184
click to vote
IPMU
2010
Springer
15 years 4 months ago
2010
Springer
We overview three kinds of possibilistic graphical models (based on directed acyclic graphs) and present, how they can be expressed by means of non-graphical approach to multidimen...
146
Voted
ENTCS
2006
15 years 6 months ago
2006
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...
281
Voted
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
A customizable and extensible tool is proposed to implement ModelGen, the model management operator that translates a schema from one model to another. A wide family of models is ...