CBSE 2008: Karlsruhe, Germany

Performance Engineering

Extra-Functional Properties: Security and Energy

Formal Methods and Model Checking

Verification Techniques

Run-Time Infrastructures

Methods of Design and Development

Component Models

a service of Schloss Dagstuhl - Leibniz Center for Informatics