Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

  • Carlos Canal
  • Akram Idani

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

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

Table of contents

  1. Front Matter
    Pages I-XXVII
  2. HOFM 2014

    1. Front Matter
      Pages 1-1
    2. Bernhard Beckert, Sarah Grebing, Florian Böhl
      Pages 3-19
    3. Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
      Pages 20-35
    4. Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan
      Pages 36-53
    5. Akram Idani, Nicolas Stouls
      Pages 54-68
  3. SaFoMe 2014

    1. Front Matter
      Pages 69-69
    2. Jaco Jacobs, Andrew Simpson
      Pages 71-85
    3. Simona Bernardi, Lacramioara Dranca, José Merseguer
      Pages 86-100
    4. Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
      Pages 101-115
    5. Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
      Pages 116-130
  4. OpenCert 2014

    1. Front Matter
      Pages 145-145
    2. Alejandro Sanchez, Luis S. Barbosa, Alexandre Madeira
      Pages 147-163
    3. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 164-181
    4. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 182-198
  5. MoKMaSD 2014

    1. Front Matter
      Pages 199-199
    2. Debora Nozza, Daniele Maccagnola, Vincent Guigue, Enza Messina, Patrick Gallinari
      Pages 201-213
    3. Lorenzo Gabrielli, Barbara Furletti, Fosca Giannotti, Mirco Nanni, Salvatore Rinzivillo
      Pages 214-226
    4. Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 227-242

Other volumes

  1. 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  2. Software Engineering and Formal Methods
    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

About these proceedings

Introduction

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Keywords

behavioral type theory complex systems formal methods knowledge management logic and verification model checking open source software program constructs programming languages 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

  • Carlos Canal
    • 1
  • Akram Idani
    • 2
  1. 1.University of MalagaMalagaSpain
  2. 2.LIG LabSaint Martin d'Hères CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-15201-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-15200-4
  • Online ISBN 978-3-319-15201-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site