International Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

  • Domenico Bianculli
  • Radu Calinescu
  • Bernhard Rumpe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9509)

Table of contents

  1. Front Matter
    Pages I-XXIX
  2. ATSE 2015

    1. Front Matter
      Pages 1-1
    2. A. P. van der Meer, R. Kherrazi, N. Noroozi, A. Wierda
      Pages 11-21
  3. HOFM 2015

  4. MoKMaSD 2015

    1. Front Matter
      Pages 91-91
    2. Valerio Grossi, Anna Monreale, Mirco Nanni, Dino Pedreschi, Franco Turini
      Pages 93-107
    3. Riccardo Guidotti, Paolo Cintia
      Pages 108-123
    4. Sélinde van Engelenburg, Marijn Janssen, Bram Klievink
      Pages 124-138
    5. Farshad Shams, Antonio Cerone, Rocco De Nicola
      Pages 145-160
    6. Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
      Pages 176-191
    7. Chiara Cini, Luca Tesei, Giuseppe Scarcella, Cesar A. Nieto Coria, Emanuela Merelli
      Pages 192-197

About these proceedings

Introduction


This book constitutes revised selected papers from the workshops
collocated with the SEFM 2015 conference on Software Engineering and
Formal Methods, held in York, UK, in September 2015.
The 25 papers included in this volume were carefully reviewed and
selected from 32 submissions. 
The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.
The four workshops were:
  •  ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;
  • HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;
  • MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;
  • VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

Keywords

human factors information systems knowledge management self-adaptive systems software testing business rules cognitive processes collective adaptive system concurrency discrete mathematics education encryption model-based testing probabilistic models process algebra quantitative modeling service composition smart grid software-architecture system testing

Editors and affiliations

  • Domenico Bianculli
    • 1
  • Radu Calinescu
    • 2
  • Bernhard Rumpe
    • 3
  1. 1.Interdisciplinary Centre for ICT SeUniversity of Luxembourg (UL).Luxembourg
  2. 2.University of YorkYorkUnited Kingdom
  3. 3.LS Software EngineeringRWTH Aachen UniversitätAachenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-49224-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49223-9
  • Online ISBN 978-3-662-49224-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book