Skip to main content
Springer Nature Link
Log in

Formal Aspects of Component Software

13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Olga Kouchnarenko

    1. Université Bourgogne Franche-Comté, Besançon, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ramtin Khosravi

    1. University of Tehran , Tehran, Iran

    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 10231)

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

Included in the following conference series:

Conference proceedings info: FACS 2016.

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

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 thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besançon, France, in October 2016.

The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  3. Full Research Papers

    1. Front Matter

      Pages 15-15
      Download chapter PDF

    2. A Core Model for Choreographic Programming

      • Luís Cruz-Filipe, Fabrizio Montesi
      Pages 17-35

    3. Checking Business Process Evolution

      • Pascal Poizat, Gwen Salaün, Ajay Krishna
      Pages 36-53

    4. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing

      • Lars Luthmann, Stephan Mennicke, Malte Lochau
      Pages 54-72

    5. Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions

      • Maria Pittou, Stavros Tripakis
      Pages 73-91

    6. Constrained Synthesis from Component Libraries

      • Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli
      Pages 92-110

    7. MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks

      • Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang
      Pages 111-133

    8. A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property

      • Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
      Pages 134-152

    9. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems

      • Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh
      Pages 153-171

    10. Reasoning About Connectors in Coq

      • Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
      Pages 172-190

    11. (Context-Sensitivity In) Reo, Revisited

      • Sung-Shik T. Q. Jongmans
      Pages 191-209

    12. Validated Test Models for Software Product Lines: Featured Finite State Machines

      • Vanderson Hafemann Fragal, Adenilso Simao, Mohammad Reza Mousavi
      Pages 210-227

  4. Tool Papers

    1. Front Matter

      Pages 229-229
      Download chapter PDF

    2. Tool Support for Fuzz Testing of Component-Based System Adaptation Policies

      • Jean-François Weber
      Pages 231-237

  5. Applications and Experiences Papers

    1. Front Matter

      Pages 239-239
      Download chapter PDF

    2. Coordinated Actors for Reliable Self-adaptive Systems

      • Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar et al.
      Pages 241-259
Back to top

Other volumes

  1. Formal Aspects of Component Software

Editors and Affiliations

  • Université Bourgogne Franche-Comté, Besançon, France

    Olga Kouchnarenko

  • University of Tehran , Tehran, Iran

    Ramtin Khosravi

Bibliographic Information

  • Book Title: Formal Aspects of Component Software

  • Book Subtitle: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

  • Editors: Olga Kouchnarenko, Ramtin Khosravi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-57666-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing AG 2017

  • Softcover ISBN: 978-3-319-57665-7Published: 13 April 2017

  • eBook ISBN: 978-3-319-57666-4Published: 11 April 2017

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 281

  • Number of Illustrations: 104 b/w illustrations

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation