5525 search results - page 56 / 1105 » Verification of Model Transformations |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
105
click to vote
MODELS
2010
Springer
14 years 7 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
129
click to vote
CSAC
2006
14 years 11 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
103
click to vote
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...