3. FMCO 2004:
Leiden,
The Netherlands
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.):
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures.
Lecture Notes in Computer Science 3657 Springer 2005, ISBN 3-540-29131-8 
- Thomas Ball:
A Theory of Predicate-Complete Test Coverage and Generation.
1-22
- Luís Soares Barbosa:
A Perspective on Component Refinement.
23-48
- Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám:
A Fully Abstract Semantics for UML Components.
49-69
- Pierre Cointe, Hervé Albin-Amiot, Simon Denier:
From (Meta) Objects to Aspects: A Java and AspectJ Point of View.
70-94
- Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility.
95-119
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Probabilistic Linda-Based Coordination Languages.
120-140
- Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski:
Games with Secure Equilibria.
141-161
- Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Priced Timed Automata: Algorithms and Applications.
162-182
- Zhiming Liu, Jifeng He, Xiaoshan Li:
rCOS: Refinement of Component and Object Systems.
183-221
- Davide Ancona, Eugenio Moggi:
Program Generation and Components.
222-250
- David A. Naumann:
Assertion-Based Encapsulation, Object Invariants and Simulations.
251-273
- Einar Broch Johnsen, Olaf Owe:
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.
274-295
- Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen:
Observability, Connectivity, and Replay in a Sequential Calculus of Classes.
296-316
- Reinhard Wilhelm:
Timing Analysis and Timing Predictability.
317-323
Last update Tue Feb 14 03:56:07 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
