Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

  • Steve Counsell
  • Manuel Núñez
Conference proceedings SEFM 2013

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

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

Table of contents

  1. Front Matter
    Pages I-XXV
  2. BEAT 2

    1. Front Matter
      Pages 1-1
    2. Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez et al.
      Pages 3-14
    3. Juliana Franco, Vasco Thudichum Vasconcelos
      Pages 15-28
    4. Bogdan Aman, Gabriel Ciobanu
      Pages 29-43
    5. Dimitrios Kouzapas, Anna Philippou
      Pages 56-68
    6. Giovanni Bernardi, Matthew Hennessy
      Pages 69-81
    7. Nicholas Ng, Nobuko Yoshida, Wayne Luk
      Pages 82-98
  3. WS-FMDS 2013

    1. Front Matter
      Pages 99-99
    2. Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski
      Pages 101-112
    3. Luis Llana, Rafael Martínez-Torres
      Pages 125-134
    4. Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
      Pages 135-150
  4. FM-RAIL-BOK 2013

    1. Front Matter
      Pages 165-165
    2. Philip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne et al.
      Pages 189-204
    3. Anne E. Haxthausen, Jan Peleska, Ralf Pinger
      Pages 205-220
    4. Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani
      Pages 237-252
    5. Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer et al.
      Pages 253-268
  5. MoKMaSD 2013

    1. Front Matter
      Pages 269-269
    2. Paloma Cáceres, Carlos E. Cuesta, José María Cavero, Belén Vela, Almudena Sierra-Alonso
      Pages 271-287
    3. Martin Kloos, Joris Hulstijn, Mamadou Seck, Marijn Janssen
      Pages 288-305
    4. Alain Perez, Felix Larrinaga, Edward Curry
      Pages 306-312
    5. Roberto Barbuti, Pasquale Bove, Andrea Maggiolo Schettini, Paolo Milazzo, Giovanni Pardini
      Pages 329-344
    6. Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
      Pages 362-367
  6. OpenCert 2013

    1. Front Matter
      Pages 369-369
    2. Peter T. Breuer, Simon J. Pickin
      Pages 389-404
    3. Sara Fernandes, Antonio Cerone, Luis Soares Barbosa
      Pages 405-416
    4. Jaap Boender, Sara Fernandes
      Pages 417-429
  7. Back Matter
    Pages 431-432

Other volumes

  1. 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  2. Software Engineering and Formal Methods
    SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

About these proceedings


This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.


FLOSS OSS Petri nets behavioral type theory complex systems formal methods knowledge management logic and verification open source software program constructs programming languages railways software creation and management software development methods software extra-functional properties software organization and properties software system structures software verification and validation sustainability sustainable development type structures

Editors and affiliations

  • Steve Counsell
    • 1
  • Manuel Núñez
    • 2
  1. 1.Brunel UniversityUxbridgeUnited Kingdom
  2. 2.Universidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-05031-7
  • Online ISBN 978-3-319-05032-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software