Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic 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.
a service of 
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-04-22 20:03 CEST 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:
