Volume 160,
August 2006
Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)
- Zhiming Liu, Luís Soares Barbosa:
Preface.
1-2
- Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
Reo Based Interaction Model.
3-14
- Farhad Arbab:
Coordination for Component Composition.
15-40
- Tomás Barros, Ludovic Henrio, Eric Madelaine:
Verification of Distributed Hierarchical Components.
41-55
- Rémi Bastide, Eric Barboni:
Software Components: a Formal Semantics Based on Coloured Petri Nets.
57-73
- Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming.
75-96
- Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
On the Contribution of a tau.
97-111
- Laura Bocchi, Paolo Ciancarini:
On the Impact of Formal Methods in the SOA.
113-126
- Jan Carlson, John Håkansson, Paul Pettersson:
SaveCCM: An Analysable Component Model for Real-Time Systems.
127-140
- María Victoria Cengarle, Peter Graubmann, Stefan Wagner:
Semantics of UML 2.0 Interactions with Variabilities.
141-155
- Samir Chouali, Maritta Heisel, Jeanine Souquières:
Proving Component Interoperability with B Refinement.
157-172
- Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components.
173-195
- Pavel Jezek, Jan Kofron, Frantisek Plasil:
Model Checking of Component Behavior Specification: A Real Life Experience.
197-210
- Grant Malcolm:
Component-Based Specification of Distributed Systems.
211-224
- Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Cooperation-based Invariants for OO Languages.
225-237
- Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab:
Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
239-253
- Ivanilton Polato, Antonio Mendes da Silva Filho:
A Component-based Approach to Embedded Software Design.
255-273
- Steve Reeves, David Streader:
Stepwise Refinement of Processes.
275-289
- Nuno F. Rodrigues, Luís Soares Barbosa:
Component Identification Through Program Slicing.
291-304
- Jan J. M. M. Rutten:
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.
305-319
- Bernhard Schäz:
Building Components from Functions.
321-334
- Lian Wen, R. Geoff Dromey:
Architecture Normalization for Component-based Systems.
335-348
- Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions.
349-361
Copyright © Mon Mar 15 04:00:57 2010
by Michael Ley (ley@uni-trier.de)