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)

Also part of the Programming and Software Engineering book sub series (LNPSE, 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
  5. MELO

    1. Front Matter
      Pages 263-263
    2. Raphael Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz
      Pages 265-273
    3. Zinovy Diskin, Harald König
      Pages 274-288
    4. Martin Gogolla, Jordi Cabot
      Pages 289-302
    5. Juan M. Rivas, J. Javier Gutiérrez, Mario Aldea, César Cuevas, Michael González Harbour, José María Drake et al.
      Pages 303-316
    6. Steffen Zschaler, Lawrence Mandow
      Pages 317-329
  6. SEMS

    1. Front Matter
      Pages 331-331
    2. Ricardo Teixeira, Vasco Amaral
      Pages 333-345
    3. Jorge Mendes, Kha N. Do, João Saraiva
      Pages 346-355
    4. Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz
      Pages 356-371
    5. Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa
      Pages 372-387
    6. Felienne Hermans, Tijs van der Storm
      Pages 388-393
    7. Martin Gogolla, Antonio Vallecillo
      Pages 394-400
  7. VeryComp

    1. Front Matter
      Pages 421-421
    2. Marina Mongiello, Tommaso di Noia, Francesco Nocera, Eugenio di Sciascio, Angelo Parchitelli
      Pages 423-435
    3. Amleto Di Salle, Francesco Gallo, Claudio Pompilio
      Pages 436-444
    4. Mirko D’Angelo, Mauro Caporuscio
      Pages 458-469
  8. Back Matter
    Pages 471-472

About these proceedings


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.


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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment