Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach
The algebraic approaches to graph transformation are based on the concept of gluing of
graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This …
graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This …
Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach
The algebraic approaches to graph transformation are based on the concept of gluing of
graphs corresponding to pushouts in suitable categories of graphs and graph morphisms …
graphs corresponding to pushouts in suitable categories of graphs and graph morphisms …
Graph transformation for specification and programming
The framework of graph transformation combines the potentials and advantages of both,
graphs and rules, to a single computational paradigm. In this paper we present some recent …
graphs and rules, to a single computational paradigm. In this paper we present some recent …
[ספר][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 …
Analysing refactoring dependencies using graph transformation
Refactoring is a widely accepted technique to improve the structure of object-oriented
software. Nevertheless, existing tool support remains restricted to automatically applying …
software. Nevertheless, existing tool support remains restricted to automatically applying …
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation
In object-oriented software development, requirements of different stakeholders are often
manifested in use case models which complement the static domain model by dynamic and …
manifested in use case models which complement the static domain model by dynamic and …
Tutorial introduction to graph transformation: A software engineering perspective
We give an introduction to graph transformation, not only for researchers in software
engineering, but based on applications of graph transformation in this domain. In particular …
engineering, but based on applications of graph transformation in this domain. In particular …
The AGG approach: Language and environment
Abstract The Attributed Graph Grammar system (AGG) provides a visual programming
environment which is based on graph transformation and Java. The idea is to program the …
environment which is based on graph transformation and Java. The idea is to program the …
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Abstract Model transformation is one of the key activities in model-driven software
development. An increasingly popular technology to define modeling languages is provided …
development. An increasingly popular technology to define modeling languages is provided …
The design of a language for model transformations
Abstract Model-driven development of software systems envisions transformations applied
in various stages of the development process. Similarly, the use of domain-specific …
in various stages of the development process. Similarly, the use of domain-specific …