Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Monographs in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
In the late 1960s and early 1970s, the concepts of graph transformation and graph
grammars started to become of interest in picture processing and computer science. The …
grammars started to become of interest in picture processing and computer science. The …
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …
reactive model transformation engine built on top of highly scalable incremental graph …
When and how to use multilevel modelling
Model-Driven Engineering (MDE) promotes models as the primary artefacts in the software
development process, from which code for the final application is derived. Standard …
development process, from which code for the final application is derived. Standard …
The model transformation language of the VIATRA2 framework
We present the model transformation language of the VIATRA2 framework, which provides a
rule-and pattern-based transformation language for manipulating graph models by …
rule-and pattern-based transformation language for manipulating graph models by …
A survey of model-driven techniques and tools for cyber-physical systems
Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle
the challenges in social and economic sustainable development. Since it was proposed in …
the challenges in social and economic sustainable development. Since it was proposed in …
A model-driven framework for guided design space exploration
Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …
representing different design candidates to support activities like configuration design of …
Generic and meta-transformations for model transformation engineering
Abstract The Model Driven Architecture necessitates not only the application of software
engineering disciplines to the specification of modeling languages (language-ware) but also …
engineering disciplines to the specification of modeling languages (language-ware) but also …
[PDF][PDF] Model transformation by graph transformation: A comparative study
Graph transformation has been widely used for expressing model transformations.
Especially transformations of visual models can be naturally formulated by graph …
Especially transformations of visual models can be naturally formulated by graph …
Advanced model transformation language constructs in the VIATRA2 framework
We present the model transformation language of the VIATRA2 framework, which provides a
rule and pattern-based transformation language for manipulating graph models by …
rule and pattern-based transformation language for manipulating graph models by …
Attributed graph transformation with node type inheritance
The aim of this paper is to integrate typed attributed graph transformation with node type
inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the …
inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the …