Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1060.68006).
Indexed articles:
Ball, Thomas, A theory of predicate-complete test coverage and generation, 1-22 [Zbl 1143.68361]
Barbosa, Luís S., A perspective on component refinement, 23-48 [Zbl 1143.68362]
de Boer, F. S.; Bonsangue, M. M.; Steffen, M.; Ábrahám, E., A fully abstract semantics for UML components, 49-69 [Zbl 1143.68369]
Cointe, Pierre; Albin-Amiot, Hervé; Denier, Simon, From (meta) objects to aspects: A Java and AspectJ point of view, 70-94 [Zbl 1143.68349]
De Nicola, Rocco; Loreti, Michele, MoMo: A modal logic for reasoning about mobility, 95-119 [Zbl 1143.68364]
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert, Probabilistic Linda-based coordination languages, 120-140 [Zbl 1143.68365]
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin, Games with secure equilibria, 141-161 [Zbl 1143.68447]
Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I., Priced timed automata: Algorithms and applications, 162-182 [Zbl 1143.68430]
Liu, Zhiming; Jifeng, He; Li, Xiaoshan, rCOS: Refinement of component and object systems, 183-221 [Zbl 1143.68366]
Ancona, D.; Moggi, E., Program generation and components, 222-250 [Zbl 1143.68360]
Naumann, David A., Assertion-based encapsulation, object invariants and simulations, 251-273 [Zbl 1143.68357]
Johnsen, Einar Broch; Owe, Olaf, A dynamic binding strategy for multiple inheritance and asynchronously communicating objects, 274-295 [Zbl 1143.68356]
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin, Observability, connectivity, and replay in a sequential calculus of classes, 296-316 [Zbl 1143.68359]
Wilhelm, Reinhard, Timing analysis and timing predictability. Extended abstract, 317-323 [Zbl 1143.68380]