10th ICECCS 2005: Shanghai, China

Introduction

Tutorials

Workshop on SOFL

Workshop on Using Metamodels to Support MDD

Parallel Session: Software Architecture

Parallel Session: Analysis and Verification (1)

Parallel Session: Formal Methods (1)

Parallel Session: Networks (1)

Parallel Session: Program Slicing

Parallel Session: Real Time Systems

Parallel Session: Analysis and Verification (2)

Parallel Session: Security

Parallel Session: Web Systems

Keynote Speech

Parallel Session: Component-Based Technologies

Parallel Session: Formal Methods (2)

Parallel Session: Networks (2)

Parallel Session: Software Systems

Parallel Session: Wireless Communication

Parallel Session: Analysis and Verification (3)

Parallel Session: Testing (1)

Parallel Session: Design

Parallel Session: Formal Methods (3)

Parallel Session: Testing (2)

Parallel Session: Evaluation and Measurement

Parallel Session: Evolution

a service of Schloss Dagstuhl - Leibniz Center for Informatics