Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Methods and Software Engineering

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Michael Butler

    1. Electronics and Computer Science, University of Southampton, Southampton, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sylvain Conchon

    1. Université Paris-Sud, Orsay, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fatiha Zaïdi

    1. Université Paris-Sud, Orsay, 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 9407)

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

Included in the following conference series:

Conference proceedings info: ICFEM 2015.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Pages I-XXV
    Download chapter PDF

  2. Domain-Specific Languages with Scala

    • Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
    Pages 1-16

  3. Formal Verification of Programs Computing the Floating-Point Average

    • Sylvie Boldo
    Pages 17-32

  4. Formalization and Verification of Declarative Cloud Orchestration

    • Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 33-49

  5. Consistency Verification of Specification Rules

    • Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
    Pages 50-66

  6. Applying Automata Learning to Embedded Control Software

    • Wouter Smeenk, Joshua Moerman, Frits Vaandrager, David N. Jansen
    Pages 67-83

  7. A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information

    • Jandson S. Ribeiro, Aline Andrade
    Pages 84-99

  8. Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction

    • Shaoying Liu, Xi Wang, Weikai Miao
    Pages 100-115

  9. Dependency Analysis of Functional Specifications with Algebraic Data Structures

    • Oana F. Andreescu, Thomas Jensen, Stéphane Lescuyer
    Pages 116-133

  10. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing

    • Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
    Pages 134-152

  11. Mastering the Visualization of Larger State Spaces with Projection Diagrams

    • Lukas Ladenberger, Michael Leuschel
    Pages 153-169

  12. Refinement-Based Verification of the FreeRTOS Scheduler in VCC

    • Sumesh Divakaran, Deepak D’Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
    Pages 170-186

  13. Model Checking \(\mu \)C/OS-III Multi-task System with TMSVL

    • Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
    Pages 187-200

  14. A Predictability Algorithm for Distributed Discrete Event Systems

    • Lina Ye, Philippe Dague, Farid Nouioua
    Pages 201-216

  15. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems

    • Crystal Chang Din, S. Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
    Pages 217-233

  16. Regression Verification for Programmable Logic Controller Software

    • Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
    Pages 234-251

  17. A Logical Approach for Behavioural Composition of Scenario-Based Models

    • Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain
    Pages 252-269

  18. Formal Analysis of Power Electronic Systems

    • Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
    Pages 270-286

  19. Practical Analysis Framework for Component Systems with Dynamic Reconfigurations

    • Olga Kouchnarenko, Jean-François Weber
    Pages 287-303

  20. DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

    • Dennis Guck, Jip Spel, Mariëlle Stoelinga
    Pages 304-311
Back to top

Other volumes

  1. Formal Methods and Software Engineering

Editors and Affiliations

  • Electronics and Computer Science, University of Southampton, Southampton, United Kingdom

    Michael Butler

  • Université Paris-Sud, Orsay, France

    Sylvain Conchon, Fatiha Zaïdi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation