Volume 182, June 2007

Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006)

• 
  Vladimir Mencl, Frank S. de Boer: Preface. 1-2
• 
  Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera: Model-checking Distributed Components: The Vercors Platform. 3-16
• 
  Meriem Belguidoum, Fabien Dagnat: Dependency Management in Software Component Deployment. 17-32
• 
  Denis Caromel: From Theory to Practice in Distributed Component Systems. 33-38
• 
  Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component Substitutability via Equivalencies of Component-Interaction Automata. 39-55
• 
  Jonas Elmqvist, Simin Nadjm-Tehrani: Safety-Oriented Design of Component Assemblies using Safety Interfaces. 57-72
• 
  Sonia Fagorzi, Elena Zucca: A Calculus of Components with Dynamic Type-Checking. 73-90
• 
  Jens Happe, Heiko Koziolek, Ralf Reussner: Parametric Performance Contracts for Software Components with Concurrent Behaviour. 91-106
• 
  Stephanie Kemper, André Platzer: SAT-based Abstraction Refinement for Real-time Systems. 107-122
• 
  Markus Lumpe: Applications = Components + GLoo. 123-138
• 
  Pavel Parizek, Frantisek Plasil: Modeling Environment for Component Model Checking from Hierarchical Architecture. 139-153
• 
  Pascal Poizat, Gwen Salaün, Massimo Tivoli: An Adaptation-based Approach to Incrementally Build Component Systems. 155-170
• 
  Bernhard Schätz: Combining Product Lines and Model-Based Development. 171-186
• 
  Alexander Stuckenholz: Component Updates as a Boolean Optimization Problem. 187-200
• 
  Peter Van Roy: Self Management and the Future of Software Design. 201-217