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