Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

  • Radu Calinescu
  • Bernhard Rumpe

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Cliff B. Jones, Nisansala Yatapanage
      Pages 3-19
    3. Marten Lohstroh, Edward A. Lee
      Pages 20-34
  3. Program Verification

    1. Front Matter
      Pages 35-35
    2. Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
      Pages 37-52
    3. Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
      Pages 69-83
    4. Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
      Pages 84-98
    5. Christian Colombo, Gabriel Dimech, Adrian Francalanza
      Pages 99-107
    6. Robert Clarisó, Carlos A. González, Jordi Cabot
      Pages 108-114
  4. Testing

    1. Front Matter
      Pages 115-115
    2. Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf et al.
      Pages 117-131
    3. Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
      Pages 132-147
    4. Simone Hanazumi, Ana C. V. de Melo
      Pages 148-155
  5. Certification

    1. Front Matter
      Pages 157-157
    2. Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
      Pages 175-189
  6. Formal Specification and Proof

    1. Front Matter
      Pages 197-197

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Keywords

Adaptive systems Automata learning Automated static analysis Component-based systems Concurrency Cyber-human systems Dynamic analysis Embedded systems Formal methods Machine learning Model checking Multi-agent systems Natural language processingts Program correctness Real-time systems Software engineering Software testing and debugging Software verification Software verification and validation Theorem proving

Editors and affiliations

  • Radu Calinescu
    • 1
  • Bernhard Rumpe
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkYorkUnited Kingdom
  2. 2.Software Engineering, Department of Computer ScienceRWTH Aachen UniversityAachenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-22969-0
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-22968-3
  • Online ISBN 978-3-319-22969-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace