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