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
Conference proceedings SEFM 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, 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
    8. Suryana Setiawan, Antonio Cerone, Paolo Milazzo
      Pages 198-212
  5. VERY*SCART 2015

    1. Front Matter
      Pages 213-213
    2. Luciano Baresi, Sam Guinea, Giovanni Quattrocchi
      Pages 215-227
    3. Tommaso Di Noia, Marina Mongiello, Umberto Straccia
      Pages 228-239
    4. Amleto Di Salle, Francesco Gallo, Alexander Perucci
      Pages 240-252
    5. Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
      Pages 266-280
    6. Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert Brayton, Alan Mishchenko
      Pages 281-296
    7. Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
      Pages 297-311
    8. Amleto Di Salle, Francesco Gallo, Alexander Perucci
      Pages 312-323
  6. Back Matter
    Pages 325-325

Other volumes

  1. 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  2. Software Engineering and Formal Methods
    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-49223-9
  • Online ISBN 978-3-662-49224-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment