LABORATOIRE D’INFORMATIQUE DE L’UNIVERSITE DE FRANCHE-COMTE EA 4269 Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software Elizabeta Fourneret and Fabrice Bouquet Rapport Technique n ◦ RT2010–06 TH ` EME 2 – september 2010