Formal Aspects of Component Software

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

  • Farhad Arbab
  • Peter Csaba Ölveczky
Conference proceedings FACS 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7253)

Table of contents

  1. Front Matter
  2. John Rushby
    Pages 3-11
  3. Gyrd Brændeland, Atle Refsdal, Ketil Stølen
    Pages 12-41
  4. Benjamin Aminof, Fabio Mogavero, Aniello Murano
    Pages 42-60
  5. Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski
    Pages 61-78
  6. Roberto Bruni, Alberto Lluch Lafuente
    Pages 79-96
  7. Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
    Pages 97-114
  8. Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 115-132
  9. Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
    Pages 133-150
  10. Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
    Pages 168-186
  11. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
    Pages 187-204
  12. Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
    Pages 205-222
  13. Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux
    Pages 223-240
  14. Sébastien Limet, Sophie Robert, Ahmed Turki
    Pages 241-258
  15. José Antonio Martín, Antonio Brogi, Ernesto Pimentel
    Pages 259-277
  16. Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
    Pages 278-295
  17. Alejandro Sanchez, Luís Soares. Barbosa, Daniel Riesco
    Pages 313-330

About these proceedings

Introduction

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.

Keywords

component-based development patterns quality of service service-oriented architectures temporal properties

Editors and affiliations

  • Farhad Arbab
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.Centre for Mathematics and Computer Science (CWI)AmsterdamThe Netherlands
  2. 2.Department of InformaticsUniversity of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-35743-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35742-8
  • Online ISBN 978-3-642-35743-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book