Electronic Notes in Theoretical Computer Science, Volume 215

Volume 215, June 2008

• 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