CBSE 2012: Bertinoro, Italy

Keynote address

Models and modeling

Development of component-based systems

Formal approaches to CBSE

Pervasive and real-time systems

Adaptation

a service of Schloss Dagstuhl - Leibniz Center for Informatics