1 | -- | 15 | Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert. IWIM Semantics via Fibred Automata |
16 | -- | 35 | Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez. ARIFS: an Environment for Incomplete and Formal Specifications |
36 | -- | 55 | Pamela Zave, Michael Jackson. A Call Abstraction for Component Coordination |
56 | -- | 66 | . Mobile Channels, Implementation Within and Outside Components |
67 | -- | 81 | Claus Pahl. A Formal Composition and Interaction Model for a Web Component Platform |
82 | -- | 96 | Antonio Brogi, Ernesto Pimentel, Ana M. Roldán. Compatibility of Linda-based Component Interfaces |
97 | -- | 113 | Andrea Bracciali, Antonio Brogi, Carlos Canal. Systematic Component Adaptation |
114 | -- | 133 | Gwen Salaün, Michel Allemand, Christian Attiogbé. Foundations for a Combination of Heterogeneous Specification Components |
134 | -- | 0 | Antonio Brogi, Ernesto Pimentel. Preface |