30th ICSE 2008 / SEAMS 2008: Leipzig, Germany

Requirements

Verification

Architectures

Monitoring

Adaption mechanisms

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics