13. FASE 2010: Paphos, Cyprus (Part of ETAPS 2010)

Invited Speaker

Model Transformation

Software Evolution

Graph Transformation

Modeling Concepts

Verification

Program Analysis

Testing and Debugging

Performance Modeling and Analysis