Slide 1 Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Ecole des Mines de Nantes, France with René Rydhof Hansen and Julia Lawall (DIKU,…