Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Confluence of Typed Attributed Graph Transformation SystemsHeckel, Reiko ; Küster, Jochen Malte ; Taentzer, GabrieleGraph Transformation, 2002, p.161-176 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Fundamental Theory for Typed Attributed Graph TransformationEhrig, Hartmut ; Prange, Ulrike ; Taentzer, GabrieleGraph Transformations, 2004, p.161-177 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveBaresi, Luciano ; Heckel, ReikoGraph Transformation, 2002, p.402-429 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Transformation: The missing link of MDAGERBER, Anna ; LAWLEY, Michael ; RAYMOND, Kerry ; STEEL, Jim ; WOOD, AndrewLecture notes in computer science, 2002, p.90-105 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
A Formal Semantics of UML Statecharts by Model Transition SystemsVARRO, DanielGraph Transformation, 2002, p.378-392 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Representing First-Order Logic Using GraphsRensink, ArendGraph Transformations, 2004, p.319-335 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Constraints and Application Conditions: From Graphs to High-Level StructuresEhrig, Hartmut ; Ehrig, Karsten ; Habel, Annegret ; Pennemann, Karl-HeinzGraph Transformations, 2004, p.287-303 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Approximating the Behaviour of Graph Transformation SystemsBaldan, Paolo ; König, BarbaraGraph Transformation, 2002, p.14-29 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statechartsde Lara, Juan ; Vangheluwe, HansGraph Transformation, 2002, p.239-253 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Relabelling in Graph TransformationHabel, Annegret ; Plump, DetlefGraph Transformation, 2002, p.135-147 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |