3921 search results - page 547 / 785 » Transforming Models with ATL |
171
Voted
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
186
click to vote
SERA
2005
Springer
16 years 3 days ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
189
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
197
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
126
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...