International Conference on Formal Engineering Methods

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

  • Michael Butler
  • Sylvain Conchon
  • Fatiha Zaïdi

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

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

Table of contents

  1. Front Matter
    Pages I-XXV
  2. Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
    Pages 1-16
  3. Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 33-49
  4. Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
    Pages 50-66
  5. Wouter Smeenk, Joshua Moerman, Frits Vaandrager, David N. Jansen
    Pages 67-83
  6. Oana F. Andreescu, Thomas Jensen, Stéphane Lescuyer
    Pages 116-133
  7. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
    Pages 134-152
  8. Lukas Ladenberger, Michael Leuschel
    Pages 153-169
  9. Sumesh Divakaran, Deepak D’Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
    Pages 170-186
  10. Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
    Pages 187-200
  11. Lina Ye, Philippe Dague, Farid Nouioua
    Pages 201-216
  12. Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
    Pages 217-233
  13. Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
    Pages 234-251
  14. Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
    Pages 252-269
  15. Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 270-286
  16. Olga Kouchnarenko, Jean-François Weber
    Pages 287-303
  17. Dennis Guck, Jip Spel, Mariëlle Stoelinga
    Pages 304-311

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Keywords

Concurrent systems Distributed algorithms Model checking Software product lines Specification languages Consistency verification Constraint solving Domain specific visualization Evaluation Language design Logic Model-driven engineering Reliability Security Semantics Software design Software verification Specification System modeling Theorem proving

Editors and affiliations

  • Michael Butler
    • 1
  • Sylvain Conchon
    • 2
  • Fatiha Zaïdi
    • 3
  1. 1.Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUnited Kingdom
  2. 2.Université Paris-SudOrsayFrance
  3. 3.Université Paris-SudOrsayFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-25423-4
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-25422-7
  • Online ISBN 978-3-319-25423-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book