Table of Contents

The MOBIUS Project.- The MOBIUS Proof Carrying Code Infrastructure.- Certification Using the Mobius Base Logic.- Safety Guarantees from Explicit Resource Management.- Universe Types for Topology and Encapsulation.- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.- The GridCOMP Project.- Active Objects and Distributed Components: Theory and Implementation.- The SELFMAN Project.- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.- The ARTIST Project.- Causal Semantics for the Algebra of Connectors.- Multiple Viewpoint Contract-Based Specification and Design.- The CREDO Project.- Coordination: Reo, Nets, and Logic.- An Object-Oriented Component Model for Heterogeneous Nets.- Coordinating Object Oriented Components Using Data-Flow Networks.