Book Volume 6921 2012

Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Editors:

ISBN: 978-3-642-27268-4 (Print) 978-3-642-27269-1 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-5

    Quantitative Analysis of Software: Challenges and Recent Advances

  3. No Access

    Chapter and Conference Paper

    Pages 6-33

    Analysis of Service Oriented Software Systems with the Conversation Calculus

  4. No Access

    Chapter and Conference Paper

    Pages 34-52

    QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs

  5. No Access

    Chapter and Conference Paper

    Pages 53-70

    Monitoring Method Call Sequences Using Annotations

  6. No Access

    Chapter and Conference Paper

    Pages 71-87

    An Introduction to Pervasive Interface Automata

  7. No Access

    Chapter and Conference Paper

    Pages 88-105

    A Separation Logic for OO Programs

  8. No Access

    Chapter and Conference Paper

    Pages 106-124

    Model Checking Adaptive Multilevel Service Compositions

  9. No Access

    Chapter and Conference Paper

    Pages 125-144

    Distributed Adaption of Dining Philosophers

  10. No Access

    Chapter and Conference Paper

    Pages 145-162

    Component Service Promotion: Contracts, Mechanisms and Safety

  11. No Access

    Chapter and Conference Paper

    Pages 163-181

    Systems-Theoretic View of Component-Based Software Development

  12. No Access

    Chapter and Conference Paper

    Pages 182-199

    Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework

  13. No Access

    Chapter and Conference Paper

    Pages 200-217

    Using Temporal Logic for Dynamic Reconfigurations of Components

  14. No Access

    Chapter and Conference Paper

    Pages 218-236

    Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries

  15. No Access

    Chapter and Conference Paper

    Pages 237-258

    Decomposition of Constraint Automata

  16. No Access

    Chapter and Conference Paper

    Pages 259-276

    Graph Representation of Sessions and Pipelines for Structured Service Programming

  17. No Access

    Chapter and Conference Paper

    Pages 277-285

    Will the Real Service Oriented Computing Please Stand Up?

  18. No Access

    Chapter and Conference Paper

    Pages 286-289

    Performance Verification in Complex Enterprise-Level Component Systems

  19. No Access

    Chapter and Conference Paper

    Pages 290-294

    Runtime Programming through Model-Preserving, Scalable Runtime Patches

  20. No Access

    Chapter and Conference Paper

    Pages 295-299

    Steps on the Road to Component Evolvability

  21. No Access

    Chapter and Conference Paper

    Pages 300-303

    Towards Linear Algebras of Components

  22. Back Matter

    Pages -