Volume 263, June 2010

• 
  Sun Meng, Bernhard Schätz: Preface. 1-3
• 
  Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix: Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 5-30
• 
  Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko: Composition of Services with Constraints. 31-46
• 
  Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch: Behaviour Protocols for Interacting Stateful Components. 47-66
• 
  Andreas Both, Wolf Zimmermann, René Franke: Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. 67-94
• 
  Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo: A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110
• 
  Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier: A Boolean Algebra of Contracts for Assume-guarantee Reasoning. 111-127
• 
  Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi: PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143
• 
  Johannes Kloos, Robert Eschbach: A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. 145-160
• 
  Giovanni Lagorio, Marco Servetto, Elena Zucca: A Lightweight Approach to Customizable Composition Operators for Java-like Classes. 161-177
• 
  Markus Lumpe: Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. 179-195
• 
  Mila E. Majster-Cederbaum, Nils Semmelrock: Reachability in Tree-Like Component Systems is PSPACE-Complete. 197-210
• 
  James R. Williams, Fiona A. C. Polack: Automated Formalisation for Verification of Diagrammatic Models. 211-226

last updated on Wed May 22 05:35:11 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page