Search Sciweavers | Sciweavers

1357 search results - page 51 / 272

» Compositionality in Graph Transformation

135

Voted

AGTIVE
2007
Springer

235views Formal Methods» more AGTIVE 2007»

Ludo: A Case Study for Graph Transformation Tools

15 years 8 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 »

105

click to vote

VL
2005
IEEE

125views Visual Languages» more VL 2005»

Benchmarking for Graph Transformation

15 years 8 months ago

Download www.cs.bme.hu

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

claim paper

Read More »

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 8 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

click to vote

DIAGRAMS
2004
Springer

82views Artificial Intelligence» more DIAGRAMS 2004»

Spatial Transformations in Graph Comprehension

15 years 8 months ago

Download www.dtic.mil

Susan Bell Trickett, J. Gregory Trafton

claim paper

Read More »

click to vote

GG
2004
Springer

87views Theoretical Computer Science» more GG 2004»

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers