Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Editors:

ISBN: 978-3-642-35742-8 (Print) 978-3-642-35743-5 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-2

    Taming Distributed System Complexity through Formal Patterns

  3. No Access

    Book Chapter

    Pages 3-11

    Composing Safe Systems

  4. No Access

    Book Chapter

    Pages 12-41

    A Denotational Model for Component-Based Risk Analysis

  5. No Access

    Book Chapter

    Pages 42-60

    Synthesis of Hierarchical Systems

  6. No Access

    Book Chapter

    Pages 61-78

    A Modal Specification Theory for Components with Data

  7. No Access

    Book Chapter

    Pages 79-96

    Evaluating the Performance of Model Transformation Styles in Maude

  8. No Access

    Book Chapter

    Pages 97-114

    Interactive Transformations from Object-Oriented Models to Component-Based Models

  9. No Access

    Book Chapter

    Pages 115-132

    Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

  10. No Access

    Book Chapter

    Pages 133-150

    Timed Conformance Testing for Orchestrated Service Discovery

  11. No Access

    Book Chapter

    Pages 151-167

    Realizability of Choreographies for Services Interacting Asynchronously

  12. No Access

    Book Chapter

    Pages 168-186

    Networks of Real-Time Actors

  13. No Access

    Book Chapter

    Pages 187-204

    A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios

  14. No Access

    Book Chapter

    Pages 205-222

    The Logic of XACML

  15. No Access

    Book Chapter

    Pages 223-240

    A Proof Assistant Based Formalization of MDE Components

  16. No Access

    Book Chapter

    Pages 241-258

    Controlling an Iteration-Wise Coherence in Dataflow

  17. No Access

    Book Chapter

    Pages 259-277

    Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation

  18. No Access

    Book Chapter

    Pages 278-295

    Verifying Safety of Fault-Tolerant Distributed Components

  19. No Access

    Book Chapter

    Pages 296-312

    Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques

  20. No Access

    Book Chapter

    Pages 313-330

    Bigraphical Modelling of Architectural Patterns

  21. No Access

    Book Chapter

    Pages 331-349

    Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines

  22. Back Matter

    Pages -

previous Page of 2