Volume 215, June 2008

Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007)

• 
  Markus Lumpe, Eric Madelaine: Preface. 1-3
• 
  Slim Kallel, Anis Charfi, Mohamed Jmaiel: Using Aspects for Enforcing Formal Architectural Invariants. 5-21
• 
  Bernhard Schätz: Modular Functional Descriptions. 23-38
• 
  Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat: A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. 39-55
• 
  Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: Liveness in Interaction Systems. 57-74
• 
  Meriem Belguidoum, Fabien Dagnat: Formalization of Component Substitutability. 75-92
• 
  Jean-Baptiste Raclet: Residual for Component Specifications. 93-110
• 
  Javier Cámara, Carlos Canal, Gwen Salaün: Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. 111-130
• 
  Fabrício Fernandes, Jean-Claude Royer: The STSLib Project: Towards a Formal Component Model Based on STS. 131-149
• 
  Jasmin Christian Blanchette, Olaf Owe: An Open System Operational Semantics for an Object-Oriented and Component-Based Language. 151-169
• 
  Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi: Resource-Oriented Design Framework for Embedded System Components. 171-189
• 
  Muck van Weerdenburg: Process Algebra with Local Communication. 191-208
• 
  Tobias Blechmann, Christel Baier: Checking Equivalence for Reo Networks. 209-226