Software Engineering and Formal Methods

1. Front Matter

   Pages I-XXVII

   PDF

2. HOFM 2014

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

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.

• 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

• University of Malaga, Malaga, Spain

  Carlos Canal

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

  Akram Idani

Policies and ethics