Skip to main content
SpringerLink
Log in

Software Technologies: Applications and Foundations

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Paolo Milazzo

    1. Dipartimento di Informatica, Universita di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dániel Varró

    1. Budapest University of Technology and Economics, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Manuel Wimmer

    1. Vienna University of Technology, Vienna, Austria

    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 9946)

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

Included in the following conference series:

Conference proceedings info: STAF 2016.

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 (36 papers)

  1. Front Matter

    Pages I-XXXII
    Download chapter PDF

  2. DataMod

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Separating Topological Noise from Features Using Persistent Entropy

      • Nieves Atienza, Rocio Gonzalez-Diaz, Matteo Rucco
      Pages 3-12

    3. An Accelerated MapReduce-Based K-prototypes for Big Data

      • Mohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N’cir, Nadia Essoussi
      Pages 13-25

    4. Refinement Mining: Using Data to Sift Plausible Models

      • Antonio Cerone
      Pages 26-41

    5. Towards Platform Independent Database Modelling in Enterprise Systems

      • Martyn Ellison, Radu Calinescu, Richard F. Paige
      Pages 42-50

    6. Audio Ergo Sum

      • Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi
      Pages 51-66

    7. A High-Level Model Checking Language with Compile-Time Pruning of Local Variables

      • Giovanni Pardini, Paolo Milazzo
      Pages 67-82

    8. Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems

      • Daniël Reijsbergen
      Pages 83-97

  4. HOFM

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Visual Notation and Patterns for Abstract State Machines

      • Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
      Pages 163-178

    3. Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL

      • Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns
      Pages 179-195

    4. Spatio-Temporal Models for Formal Analysis and Property-Based Testing

      • Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
      Pages 196-206

    5. Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models

      • Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
      Pages 207-220

    6. Model-Based Generation of Natural Language Specifications

      • Phan Thu Nhat Vo, Maria Spichkova
      Pages 221-231
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 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.

Editors and Affiliations

  • Dipartimento di Informatica, Universita di Pisa, Pisa, Italy

    Paolo Milazzo

  • Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

  • Vienna University of Technology, Vienna, Austria

    Manuel Wimmer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation