4th AMT@MoDELS 2015: Ottawa, Canada

Session 1: Iterative development

Session 2: Reuse and Evolution

Session 3: Verification

Session 4: Novel approaches

a service of Schloss Dagstuhl - Leibniz Center for Informatics