Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures - Lecture Notes in Computer Science

Marc Notes: Includes bibliographical references and index. Table of Contents: Component and Service Oriented Computing.- A Software Component Model and Its Preliminary Formalisation.- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.- System Design.- Control of Modular and Distributed Discrete-Event Systems.- Model-Based Security Engineering with UML: Introducing Security Aspects.- The Pragmatics of STAIRS.- Tools.- Smallfoot: Modular Automatic Assertion Checking with Separation Logic.- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.- Algebraic Methods.- Beyond Bisimulation: The up-to Techniques.- Separation Results Via Leader Election Problems.- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.- Model Checking.- Abstraction and Refinement in Model Checking.- Program Compatibility Approaches.- Cluster-Based LTL Model Checking of Large Systems.- Safety and Liveness in Concurrent Pointer Programs.- Assertional Methods.- Modular Specification of Encapsulated Object-Oriented Components.- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.- Boogie: A Modular Reusable Verifier for Object-Oriented Programs.- Quantitative Analysis.- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.- Partial Order Reduction for Markov Decision Processes: A Survey."Publisher Marketing: Presents revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005.

Contributor Bio:  Graf, Susanne Graf, VERMIAG, Gieres, France.