3rd SEAMS@ICSE 2008: Leipzig, Germany

Requirements

Verification

Architectures

Monitoring

Adaption mechanisms

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics