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.
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.
last updated on 2024-11-15 19:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: