Skip to main content
SpringerLink
Log in
Book cover

Software Engineering and Formal Methods

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Carlos Canal

    1. University of Malaga, Malaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Akram Idani

    1. LIG Lab, Saint Martin d'Hères Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SEFM 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-XXVII
    Download chapter PDF

  2. HOFM 2014

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

      • Bernhard Beckert, Sarah Grebing, Florian Böhl
      Pages 3-19

    3. An Approach for Creating Domain Specific Visualisations of CSP Models

      • Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
      Pages 20-35

    4. Using Z in the Development and Maintenance of Computational Models of Real-World Systems

      • Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan
      Pages 36-53

    5. When a Formal Model Rhymes with a Graphical Notation

      • Akram Idani, Nicolas Stouls
      Pages 54-68

  3. SaFoMe 2014

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. On a Process Algebraic Representation of Sequence Diagrams

      • Jaco Jacobs, Andrew Simpson
      Pages 71-85

    3. Modelling and Verification of Survivability Requirements for Critical Systems

      • Simona Bernardi, Lacramioara Dranca, José Merseguer
      Pages 86-100

    4. Model-Based Verification of Safety Contracts

      • Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
      Pages 101-115

    5. A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems

      • Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
      Pages 116-130

    6. A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics

      • Gregory Provan
      Pages 131-143

  4. OpenCert 2014

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. Modelling and Verifying Smell-Free Architectures with the Archery Language

      • Alejandro Sanchez, Luis S. Barbosa, Alexandre Madeira
      Pages 147-163

    3. OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities

      • Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 164-181

    4. Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives

      • Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 182-198

  5. MoKMaSD 2014

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks

      • Debora Nozza, Daniele Maccagnola, Vincent Guigue, Enza Messina, Patrick Gallinari
      Pages 201-213

    3. Use of Mobile Phone Data to Estimate Visitors Mobility Flows

      • Lorenzo Gabrielli, Barbara Furletti, Fosca Giannotti, Mirco Nanni, Salvatore Rinzivillo
      Pages 214-226

    4. An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities

      • Patrick Mukala, Antonio Cerone, Franco Turini
      Pages 227-242
Back to top

Other volumes

  1. Software Engineering and Formal Methods

  2. Software Engineering and Formal Methods

Keywords

About this book

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.

Editors and Affiliations

  • University of Malaga, Malaga, Spain

    Carlos Canal

  • LIG Lab, Saint Martin d'Hères Cedex, France

    Akram Idani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation