Skip to main content
SpringerLink
Log in
Book cover

Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. José Luiz Fiadeiro

    1. Royal Holloway University of London, Egham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhiming Liu

    1. Birmingham City University, Birmingham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jinyun Xue

    1. Jiangxi Normal University, Lab. High-Performance Computing, Nanchang, China

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

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

Included in the following conference series:

Conference proceedings info: FACS 2013.

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 (22 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Probabilistic Modal Specifications (Invited Extended Abstract)

    • Kim G. Larsen, Axel Legay
    Pages 1-4

  3. Orchestration

    • Jayadev Misra
    Pages 5-12

  4. Super-Dense Computation in Verification of Hybrid CSP Processes

    • Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
    Pages 13-22

  5. A Proof-Carrying Code Approach to Certificate Auction Mechanisms

    • W. Bai, E. M. Tadjouddine, T. R. Payne, S. U. Guan
    Pages 23-40

  6. Towards Verification of Ensemble-Based Component Systems

    • Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, František Plášil
    Pages 41-60

  7. Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

    • Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim. G. Larsen, Marius Mikučionis, Ulrik Nyman et al.
    Pages 61-78

  8. Incremental Modeling of System Architecture Satisfying SysML Functional Requirements

    • Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Pages 79-99

  9. Formalising Adaptation Patterns for Autonomic Ensembles

    • Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
    Pages 100-118

  10. Towards a Failure Model of Software Components

    • Ruzhen Dong, Naijun Zhan
    Pages 119-136

  11. Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World

    • Nuno Gaspar, Ludovic Henrio, Eric Madelaine
    Pages 137-156

  12. A General Trace-Based Framework of Logical Causality

    • Gregor Gössler, Daniel Le Métayer
    Pages 157-173

  13. Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components

    • Ali Hong, Yijing Liu, Zongyan Qiu
    Pages 174-195

  14. A Framework for Handling Non-functional Properties Within a Component-Based Approach

    • Jean-Michel Hufflen
    Pages 196-214

  15. Using Daikon to Prioritize and Group Unit Bugs

    • Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu
    Pages 215-233

  16. Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns

    • Olga Kouchnarenko, Jean-François Weber
    Pages 234-253

  17. Automatic Component Deployment in the Presence of Circular Dependencies

    • Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
    Pages 254-272

  18. Modeling and Analysis of Component Connectors in Coq

    • Yi Li, Meng Sun
    Pages 273-290

  19. On the Complexity of Input Output Conformance Testing

    • Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
    Pages 291-309

  20. Compatibility Checking for Asynchronously Communicating Software

    • Meriem Ouederni, Gwen Salaün, Tevfik Bultan
    Pages 310-328
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

Editors and Affiliations

  • Royal Holloway University of London, Egham, United Kingdom

    José Luiz Fiadeiro

  • Birmingham City University, Birmingham, United Kingdom

    Zhiming Liu

  • Jiangxi Normal University, Lab. High-Performance Computing, Nanchang, China

    Jinyun Xue

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation