Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures

A Theory of Predicate-Complete Test Coverage and Generation.- A Perspective on Component Refinement.- A Fully Abstract Semantics for UML Components.- From (Meta) Objects to Aspects: A Java and AspectJ Point of View.- MoMo: A Modal Logic for Reasoning About Mobility.- Probabilistic Linda-Based Coordination Languages.- Games with Secure Equilibria,.- Priced Timed Automata: Algorithms and Applications.- rCOS: Refinement of Component and Object Systems.- Program Generation and Components.- Assertion-Based Encapsulation, Object Invariants and Simulations.- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.- Observability, Connectivity, and Replay in a Sequential Calculus of Classes.- Timing Analysis and Timing Predictability.