16. FASE 2013: Rome, Italy (Part of ETAPS 2013)

Invited Paper

Model-Driven Engineering: Concepts

Verification and Validation 1

Software Comprehension

Verification and Validation 2

Analysis Tools

Model-Driven Engineering: Applications

Model Transformations

Testing

maintained by Schloss Dagstuhl LZI at University of Trier