Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Reuse in model-to-model transformation languages: are we there yet?
In the area of model-driven engineering, model transformations are proposed as the
technique to systematically manipulate models. For increasing development productivity as …
technique to systematically manipulate models. For increasing development productivity as …
The relevance of model-driven engineering thirty years from now
Although model-driven engineering (MDE) is now an established approach for develo**
complex software systems, it has not been universally adopted by the software industry. In …
complex software systems, it has not been universally adopted by the software industry. In …
Model transformation intents and their properties
The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …
transformation. In this paper, a framework for the description of model transformation intents …
A tridimensional approach for studying the formal verification of model transformations
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
FTG+ PM: An integrated framework for investigating model transformation chains
In this paper, we describe our ongoing work on model transformation chains. Model
transformation chains refer to the sequences of model transformations in Model Driven …
transformation chains refer to the sequences of model transformations in Model Driven …
Formal verification techniques for model transformations: A tridimensional classification
In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …
transformation is MDE's" heart and soul". Since model transformations are executed for a …
T-Core: a framework for custom-built model transformation engines
A large number of model transformation languages and tools have emerged since the early
2000s. A transformation engineer is thus left with too many choices for the language he use …
2000s. A transformation engineer is thus left with too many choices for the language he use …
A feature-based classification of formal verification techniques for software models
Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …
MBE paradigm promotes the use of software models to describe structure and behavior of …
Assessing and improving quality of QVTo model transformations
We investigate quality improvement in QVT operational map**s (QVTo) model
transformations, one of the languages defined in the OMG standard on model-to-model …
transformations, one of the languages defined in the OMG standard on model-to-model …
Improving the confidence in measurement-based timing analysis
S Bünte, M Zolda, M Tautschnig… - 2011 14th IEEE …, 2011 - ieeexplore.ieee.org
Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution-
time measurements with static program analysis techniques to obtain an estimate of the …
time measurements with static program analysis techniques to obtain an estimate of the …