Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Survey and classification of model transformation tools
Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …
number of model transformation languages and tools have been proposed over the last few …
Henshin: advanced concepts and tools for in-place EMF model transformations
Abstract The Eclipse Modeling Framework (EMF) provides modeling and code generation
facilities for Java applications based on structured data models. Henshin is a new language …
facilities for Java applications based on structured data models. Henshin is a new language …
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 …
[ספר][B] Graph transformation for software engineers: With applications to model-based development and domain-specific language engineering
R Heckel, G Taentzer - 2020 - Springer
The first part of the book presents the fundamentals in a precise, yet largely informal way.
Besides serving as prerequisite for describing the applications in the second part, it also …
Besides serving as prerequisite for describing the applications in the second part, it also …
Design methodology for intelligent technical systems
The Collaborative Research Centre 614" Self-Optimizing Concepts and Structures in
Mechanical Engineering", funded from 2002 to 2013 by the German Research Foundation …
Mechanical Engineering", funded from 2002 to 2013 by the German Research Foundation …
Development of correct graph transformation systems
KH Pennemann - International Conference on Graph Transformation, 2008 - Springer
A major goal of this thesis is the ability to determine the correctness of graphical
specifications consisting of a graph precondition, a graph program and graph postcondition …
specifications consisting of a graph precondition, a graph program and graph postcondition …
[HTML][HTML] A survey and comparison of transformation tools based on the transformation tool contest
Abstract Model transformation is one of the key tasks in model-driven engineering and relies
on the efficient matching and modification of graph-based data structures; its sibling graph …
on the efficient matching and modification of graph-based data structures; its sibling graph …
A heuristic solution for model checking graph transformation systems
One of the commonly used techniques to verify software and hardware systems which have
been specified through graph transformation system (GTS), especially safety critical ones, is …
been specified through graph transformation system (GTS), especially safety critical ones, is …
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm
While develo** concurrent systems, one of the important properties to be checked is
deadlock freedom. Model checking is an accurate technique to detect errors, such as …
deadlock freedom. Model checking is an accurate technique to detect errors, such as …
A three-phase approach to improve the functionality of t-way strategy
Although t-way strategy tries to generate a minimum test suite (TS) for detecting errors in
software systems, its functionality is affected by three important challenges. The first one …
software systems, its functionality is affected by three important challenges. The first one …