Electronic Notes in Theoretical Computer Science, Volume 182

Volume 182, June 2007

• 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