Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

  • Antonio Cerone
  • Marco Roveri
Conference proceedings SEFM 2017

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. DataMod 2017

    1. Front Matter
      Pages 1-8
    2. Oana Andrei, Muffy Calder
      Pages 9-24
    3. Michele D’Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli
      Pages 25-39
    4. Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
      Pages 48-55
    5. Paul Griffioen, Rob Christiaanse, Joris Hulstijn
      Pages 72-85
    6. Sélinde van Engelenburg, Marijn Janssen, Bram Klievink
      Pages 101-116
    7. Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
      Pages 117-131
  3. FAACS 2017

    1. Front Matter
      Pages 133-135
    2. Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
      Pages 137-152
    3. Matteo Camilli, Carlo Bellettini, Lorenzo Capra
      Pages 168-173
  4. MSE 2017

    1. Front Matter
      Pages 181-185
    2. Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
      Pages 187-202
    3. Antonio Brogi, Andrea Canciani, Davide Neri, Luca Rinaldi, Jacopo Soldani
      Pages 219-229

Other volumes

  1. 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
  2. Software Engineering and Formal Methods
    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

About these proceedings

Introduction

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

Keywords

artificial intelligence computer networks cyber physical systems data security distributed computer systems embedded systems formal methods graph theory Human-Computer Interaction (HCI) internet machine learning model checking petri nets semantics software engineering specifications telecommunication networks theorem proving ubiquitous computing user interfaces

Editors and affiliations

  1. 1.Nazarbayev UniversityAstanaKazakhstan
  2. 2.Fondazione Bruno KesslerPovoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-74781-1
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-74780-4
  • Online ISBN 978-3-319-74781-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace