Programming and Software Engineering

Formal Aspects of Component Software

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

Editors: Arbab, Farhad, Ölveczky, Peter (Eds.)

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-35743-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-35742-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.

Table of contents (21 chapters)

  • Taming Distributed System Complexity through Formal Patterns

    Meseguer, José

    Pages 1-2

  • Composing Safe Systems

    Rushby, John

    Pages 3-11

  • A Denotational Model for Component-Based Risk Analysis

    Brændeland, Gyrd (et al.)

    Pages 12-41

  • Synthesis of Hierarchical Systems

    Aminof, Benjamin (et al.)

    Pages 42-60

  • A Modal Specification Theory for Components with Data

    Bauer, Sebastian S. (et al.)

    Pages 61-78

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-35743-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-35742-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Aspects of Component Software
Book Subtitle
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Editors
  • Farhad Arbab
  • Peter Ölveczky
Series Title
Programming and Software Engineering
Series Volume
7253
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-35743-5
DOI
10.1007/978-3-642-35743-5
Softcover ISBN
978-3-642-35742-8
Edition Number
1
Number of Pages
X, 369
Number of Illustrations and Tables
131 b/w illustrations
Topics