17. FASE 2014: Grenoble, France (Part of ETAPS 2014)

Invited Paper

Modelling and Model Transformation

Time and Performance

Static Analysis

Scenario-Based Specification

Software Verification

Analysis and Repair

Verification and Validation

Graph Transformation

Debugging and Testing

maintained by Schloss Dagstuhl LZI at University of Trier