![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 30
Volume 30: Graph and Model Transformation 2010
- Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer:
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.
- Roberto Bruni, Andrea Corradini, Ugo Montanari:
Modeling a Service and Session Calculus with Hierarchical Graph Transformation. - Fernando Orejas, Leen Lambers:
Symbolic Attributed Graphs for Attributed Graph Transformation. - Claudia Ermel, Karsten Ehrig:
Graph Modelling and Transformation: Theory meets Practice. - Paolo Bottoni, Francesco Parisi-Presicce:
A Termination Criterion for Graph Transformations with Negative Application Conditions. - Tony Modica, Kathrin Hoffmann:
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets. - Tiziana Margaria, Bernhard Steffen, Christian Topnik:
Second-Order Value Numbering. - Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg:
Towards Theorem Proving Graph Grammars using Event-B. - Annegret Habel, Hendrik Radke:
Expressiveness of graph conditions with variables. - Mayur Bapodra, Reiko Heckel:
From Graph Transformations to Differential Equations. - Robert Brijder
, Andrzej Ehrenfeucht, Grzegorz Rozenberg:
A Note on Causalities in Reaction Systems. - Björn Bartels, Sabine Glesner, Thomas Göthel:
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. - Frank Hermann, Mathias Hülsbusch, Barbara König:
Specification and Verification of Model Transformations. - Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth:
Stepping from Graph Transformation Units to Model Transformation Units. - Gregor Engels, Christian Soltenborn:
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling. - Hartmut Ehrig:
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. - Michael Löwe:
Position Paper: Formal Methods in Agile Development. - Bernd Mahr:
Position Statement: Models in Software and Systems Development. - Gabriele Taentzer:
What Algebraic Graph Transformations Can Do For Model Transformations.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.