Skip to main content
SpringerLink
Log in

Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Martina Seidl

    1. Johannes Kepler University of Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steffen Zschaler

    1. Department of Informatics, King’s College London, London, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10748)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: STAF 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XXIV
    Download chapter PDF

  2. Scalable Model Driven Engineering (BigMDE)

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Injecting Execution Traces into a Model-Driven Framework for Program Analysis

      • Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu
      Pages 3-13

    3. Introduction of an OpenCL-Based Model Transformation Engine

      • Tamás Fekete, Gergely Mezei
      Pages 14-19

    4. Collaborative Modelling with Version Control

      • Steven Kelly
      Pages 20-29

    5. A Java Bytecode Metamodel for Composable Program Analyses

      • Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
      Pages 30-40

  3. Graph Computation Models (GCM)

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness

      • Ernst Althaus, Andreas Hildebrandt, Domenico Mosca
      Pages 43-59

    3. Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation

      • Alexandru Burdusel, Steffen Zschaler
      Pages 60-75

    4. Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars

      • Berthold Hoffmann, Mark Minas
      Pages 76-91

    5. Checking Graph Programs for Confluence

      • Ivaylo Hristakiev, Detlef Plump
      Pages 92-108

    6. Loose Graph Simulations

      • Alessio Mansutti, Marino Miculan, Marco Peressotti
      Pages 109-126

  4. Grand Challenges in Modeling (GRAND)

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Models, More Models, and Then a Lot More

      • Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit
      Pages 129-135

    3. On the Need for Temporal Model Repositories

      • Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser
      Pages 136-145

    4. On the Need for Artifact Models in Model-Driven Systems Engineering Projects

      • Arvid Butting, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann
      Pages 146-153

    5. Cognifying Model-Driven Software Engineering

      • Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard
      Pages 154-160

    6. Non-human Modelers: Challenges and Roadmap for Reusable Self-explanation

      • Antonio Garcia-Dominguez, Nelly Bencomo
      Pages 161-171

    7. Some Narrow and Broad Challenges in MDD

      • Martin Gogolla, Frank Hilken, Andreas Kästner
      Pages 172-177

    8. Modelling by the People, for the People

      • Steven Kelly
      Pages 178-183
Back to top

Other volumes

  1. Software Technologies: Applications and Foundations

Keywords

About this book

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.


The events whose papers are included in this volume are:
  •  BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering
  •  GCM 2017: 8th International Workshop on Graph Computation Models
  • GRAND 2017: 1st International Workshop on Grand Challenges in Modeling
  • MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering
  • OCL 2017: 17th International Workshop in OCL and Textual Modeling
  • STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation




Editors and Affiliations

  • Johannes Kepler University of Linz, Linz, Austria

    Martina Seidl

  • Department of Informatics, King’s College London, London, United Kingdom

    Steffen Zschaler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation