Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Couverture souple

 
9783642357428: Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Couverture souple
ISBN 10 : 3642357423 ISBN 13 : 9783642357428
Editeur : Springer, 2012

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642357423
ISBN 13 
9783642357428
Reliure
Broché
Nombre de pages
380
Éditeur
Arbab Farhad, Ölveczky Peter Csaba
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne

Autres éditions populaires du même titre

9783642357442: Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Edition présentée

ISBN 10 :  364235744X ISBN 13 :  9783642357442
Editeur : Springer, 2012
Couverture souple