15. FASE 2012: Tallinn, Estonia (Part of ETAPS 2012)

Invited Talk

Software Architecture and Components


Verification and Monitoring

Intermodelling and Model Transformations

Modelling and Adaptation

Product Lines and Feature-Oriented Programming

Development Process

Verification and Synthesis

Testing and Maintenance

Slicing and Refactoring

a service of Schloss Dagstuhl - Leibniz Center for Informatics