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
Copyright © Mon Mar 15 04:00:58 2010
by Michael Ley (ley@uni-trier.de)
