30. ICSE 2008 / SEAMS 2008: Leipzig, Germany

Requirements

Verification

Architectures

Monitoring

Adaption mechanisms

Applications

maintained by Schloss Dagstuhl LZI at University of Trier