MoDELS 2013: Miami, FL, USA

Tool Support 1

Dependability

Comprehensibility

Tool Support 2

Testing

Semantics Evolution 1

Verification

Product Lines

Evolution 2

Semantics

Domain-Specific Modeling Languages

Models@RT

Design and Architecture

Model Transformation

Model Analysis

System Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier