Abstract is missing.
- A Theory of Predicate-Complete Test Coverage and GenerationThomas Ball. 1-22 [doi]
- A Perspective on Component RefinementLuís Soares Barbosa. 23-48 [doi]
- A Fully Abstract Semantics for UML ComponentsFrank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám. 49-69 [doi]
- From (Meta) Objects to Aspects: A Java and AspectJ Point of ViewPierre Cointe, Hervé Albin-Amiot, Simon Denier. 70-94 [doi]
- MoMo: A Modal Logic for Reasoning About MobilityRocco De Nicola, Michele Loreti. 95-119 [doi]
- Probabilistic Linda-Based Coordination LanguagesAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky. 120-140 [doi]
- Games with Secure EquilibriaKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski. 141-161 [doi]
- Priced Timed Automata: Algorithms and ApplicationsGerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. 162-182 [doi]
- rCOS: Refinement of Component and Object SystemsZhiming Liu, Jifeng He, Xiaoshan Li. 183-221 [doi]
- Program Generation and ComponentsDavide Ancona, Eugenio Moggi. 222-250 [doi]
- Assertion-Based Encapsulation, Object Invariants and SimulationsDavid A. Naumann. 251-273 [doi]
- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating ObjectsEinar Broch Johnsen, Olaf Owe. 274-295 [doi]
- Observability, Connectivity, and Replay in a Sequential Calculus of ClassesErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen. 296-316 [doi]
- Timing Analysis and Timing PredictabilityReinhard Wilhelm. 317-323 [doi]