Search Sciweavers | Sciweavers

1357 search results - page 51 / 272

» Compositionality in Graph Transformation

166

click to vote

AGTIVE
2007
Springer

235views Formal Methods» more AGTIVE 2007»

Ludo: A Case Study for Graph Transformation Tools

15 years 11 months ago

Download tfs.cs.tu-berlin.de

In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...

Arend Rensink, Alexander Dotor, Claudia Ermel, Ste...

claim paper

Read More »

123

click to vote

VL
2005
IEEE

125views Visual Languages» more VL 2005»

Benchmarking for Graph Transformation

15 years 10 months ago

Download www.cs.bme.hu

Gergely Varró, Andy Schürr, Dán...

claim paper

Read More »

113

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 10 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

121

click to vote

DIAGRAMS
2004
Springer

82views Artificial Intelligence» more DIAGRAMS 2004»

Spatial Transformations in Graph Comprehension

15 years 10 months ago

Download www.dtic.mil

Susan Bell Trickett, J. Gregory Trafton

claim paper

Read More »

124

click to vote

GG
2004
Springer

87views Theoretical Computer Science» more GG 2004»

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers