Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (Paperback)

The COMPAS Project.- Reusable Architectural Decision Model for Model and Metadata Repositories.- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.- The CREDO Project.- A Real-Time Extension of Creol for Modelling Biomedical Sensors.- Conformance Testing of Distributed Concurrent Systems with Executable Designs.- Formal Verification for Components and Connectors.- The DEPLOY Project.- Formal Modular Modelling of Context-Awareness.- Towards Demonstrably Correct Compilation of Java Byte Code.- Incremental System Modelling in Event-B.- The GRIDCOMP Project.- An Asynchronous Distributed Component Model and Its Semantics.- Specification and Verification for Grid Component-Based Applications: From Models to Tools.- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.- The MOBIUS Project.- Session-Based Compilation Framework for Multicore Programming.- Abstract Interpretation of Symbolic Execution with Explicit State Updates.- BML and Related Tools.