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