Software Technologies: Applications and Foundations

STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

  • Paolo Milazzo
  • Dániel Varró
  • Manuel Wimmer
Conference proceedings STAF 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9946)

Table of contents

  1. Front Matter
    Pages I-XXXII
  2. DataMod

    1. Front Matter
      Pages 1-1
    2. Nieves Atienza, Rocio Gonzalez-Diaz, Matteo Rucco
      Pages 3-12
    3. Mohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N’cir, Nadia Essoussi
      Pages 13-25
    4. Martyn Ellison, Radu Calinescu, Richard F. Paige
      Pages 42-50
    5. Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi
      Pages 51-66
  3. GCM

    1. Front Matter
      Pages 99-99
    2. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 112-128
    3. Michael Löwe
      Pages 129-144
    4. Ivaylo Hristakiev, Detlef Plump
      Pages 145-160
  4. HOFM

    1. Front Matter
      Pages 161-161
    2. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
      Pages 163-178
    3. Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns
      Pages 179-195
    4. Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
      Pages 196-206
    5. Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
      Pages 207-220
    6. Phan Thu Nhat Vo, Maria Spichkova
      Pages 221-231

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 2016, held in Vienna, Austria, in July 2016. 
The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

Keywords

data mining formal methods human computer interaction logic process mining map-reduce model-driven software engineering modeling methodologies OCL SAT software engineering software system models software verification and validation UML validation verification verification and validation version control visualization

Editors and affiliations

  • Paolo Milazzo
    • 1
  • Dániel Varró
    • 2
  • Manuel Wimmer
    • 3
  1. 1.Dipartimento di InformaticaUniversita di PisaPisaItaly
  2. 2.Budapest University of Technology and EconomicsBudapestHungary
  3. 3.Vienna University of TechnologyViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-50230-4
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-50229-8
  • Online ISBN 978-3-319-50230-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book