SFM 2011: Bertinoro, Italy

Architecture and Interoperability

Formal Foundations for Connectors

Connector Synthesis

Learning and Monitoring

Dependability Assurance

Trustworthy Eternal Systems via Evolving Software