


default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 47
Volume 47, 2012
- Andrew Fish

, Leen Lambers:
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques. - Gabriele Taentzer:

Instance Generation from Type Graphs with Arbitrary Multiplicities. - Anthony Anjorin, Sebastian Oster, Ivan Zorcic, Andy Schürr:

Optimizing Model-Based Software Product Line Testing with Graph Transformations. - Tamim Ahmed Khan, Olga Runge, Reiko Heckel:

Visual Contracts as Test Oracle in AGG 2.0. - Svetlana Arifulina, Christian Soltenborn, Gregor Engels:

Coverage Criteria for Testing DMM Specifications. - Karsten Gabriel, Pascal Lingnau, Claudia Ermel:

Algebraic Approach to Timed Petri Nets. - Alexander Heußner:

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO. - Fenglin Han, Peter Herrmann:

Remedy of Mixed Initiative Conflicts in Model-based System Engineering. - Niaz Arijo, Reiko Heckel:

View-based Modelling and State-Space Generation for Graph Transformation Systems. - Amir Hossein Ghamarian, Arend Rensink:

Graph Passing in Graph Transformation. - H. J. Sander Bruggink, Mathias Hülsbusch, Barbara König:

Towards Alternating Automata for Graph Languages. - Paolo Bottoni, Francesco Parisi-Presicce:

Modeling context with graph annotations. - Sonja Maier, Mark Minas:

Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout. - Christine Natschläger, Klaus-Dieter Schewe:

A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation. - Arash Jalali, Arend Rensink, Amir Hossein Ghamarian:

Incremental Pattern Matching for Regular Expressions. - Juan de Lara, Esther Guerra:

Inter-Modelling with Graphical Constraints: Foundations and Applications.

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














