Sciweavers

1357 search results - page 42 / 272
» Compositionality in Graph Transformation
Sort
View
119
Voted
AGTIVE
2007
Springer
15 years 8 months ago
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...
Gabriele Taentzer, Enrico Biermann, Dénes B...
GG
2004
Springer
15 years 8 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
FASE
2009
Springer
15 years 9 months ago
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
Frank Hermann, Hartmut Ehrig, Claudia Ermel
114
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
GG
2004
Springer
15 years 8 months ago
Tutorial on DNA Computing and Graph Transformation
that graph transformations provide the right level of abstraction, and useful technical tools for studying gene assembly. On the other hand, the gene assembly process inspires a ne...
Tero Harju, Ion Petre, Grzegorz Rozenberg