12. FASE 2009: York, UK (Part of ETAPS 2009)

Model-Driven Development

Synthesis and Adaptation

Modeling

Testing and Debugging

Model Analysis

Patterns

Security

Queries and Error Handling

Tools (Demos) and Program Analysis

maintained by Schloss Dagstuhl LZI at University of Trier