Advertisement

Software Technologies: Applications and Foundations

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

  • Martina Seidl
  • Steffen Zschaler

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10748)

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Scalable Model Driven Engineering (BigMDE)

    1. Front Matter
      Pages 1-1
    2. Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu
      Pages 3-13
    3. Tamás Fekete, Gergely Mezei
      Pages 14-19
    4. Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
      Pages 30-40
  3. Graph Computation Models (GCM)

    1. Front Matter
      Pages 41-41
    2. Ernst Althaus, Andreas Hildebrandt, Domenico Mosca
      Pages 43-59
    3. Ivaylo Hristakiev, Detlef Plump
      Pages 92-108
    4. Alessio Mansutti, Marino Miculan, Marco Peressotti
      Pages 109-126
  4. Grand Challenges in Modeling (GRAND)

    1. Front Matter
      Pages 127-127
    2. Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit
      Pages 129-135
    3. Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser
      Pages 136-145
    4. Arvid Butting, Timo Greifenberg, Bernhard Rumpe, Andreas Wortmann
      Pages 146-153
    5. Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard
      Pages 154-160
    6. Antonio Garcia-Dominguez, Nelly Bencomo
      Pages 161-171
    7. Martin Gogolla, Frank Hilken, Andreas Kästner
      Pages 172-177
    8. Steven Kelly
      Pages 178-183
    9. Vinay Kulkarni, Sreedhar Reddy
      Pages 184-192
    10. Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
      Pages 200-216
  5. Model-Driven Robot Software Engineering (MORSE)

    1. Front Matter
      Pages 217-217
    2. Gary Cornelius, Nico Hochgeschwender, Holger Voos
      Pages 219-224
    3. Achiya Elyasaf, David Harel, Assaf Marron, Gera Weiss
      Pages 225-231
    4. Martin Gogolla, Antonio Vallecillo
      Pages 232-246
    5. Norman Köster, Sebastian Wrede, Philipp Cimiano
      Pages 263-279
  6. OCL and Textual Modeling (OCL)

    1. Front Matter
      Pages 295-295
    2. Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
      Pages 297-301
    3. Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickaël Clavreul
      Pages 302-316
    4. Kevin Lano, Sobhan Yassipour-Tehrani, Hessa Alfraihi, Shekoufeh Kolahdouz-Rahimi
      Pages 317-330
    5. Jagadeeswaran Thangaraj, SenthilKumaran Ulaganathan
      Pages 331-339
    6. Edward D. Willink
      Pages 340-355
  7. Projects Showcase

    1. Front Matter
      Pages 365-365
    2. Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez et al.
      Pages 367-374
    3. Alessandra Bagnato, Konstantinos Barmpis, Nik Bessis, Luis Adrián Cabrera-Diego, Juri Di Rocco, Davide Di Ruscio et al.
      Pages 375-384
    4. Simos Gerasimou, Dimitris Kolovos, Richard Paige, Michael Standish
      Pages 385-393
    5. Malgorzata Zofia Goraczek, Michael Sachs, Oliver Terbu, Lei Zhu, Birgit Scholz, Georg Egger-Sidlo et al.
      Pages 394-402
    6. Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John A. McDermid, Mike Bennett, Stuart Hutchesson et al.
      Pages 403-408
    7. Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud
      Pages 409-416
  8. Back Matter
    Pages 417-418

About these proceedings

Introduction

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

Keywords

Model-Driven Engineering Grand Challenges in Modeling Object Constraint Language Model-Driven Robot Software Engineering Graph Computation Models Scalable Model-Driven Engineering Model Validation Model Transformation software engineering semantics model transformation programming languages model-driven engineering spefications specifications model-driven development artificial intelligence software development machine learning Human-Computer Interaction ( HCI)

Editors and affiliations

  1. 1.Johannes Kepler University of LinzLinzAustria
  2. 2.Department of InformaticsKing’s College LondonLondonUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-74730-9
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-74729-3
  • Online ISBN 978-3-319-74730-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site