D. Prun, P. Estraillier Study of the effetcts of a modification through the High Level Specifications Dans le domaine de la maintenance des logiciels, de nombreux outils et techniques existent mais ceux-ci sont principalement orientés au niveau du code, ce qui est très coûteux. Dans ce pa­ pier, nous nous interessons aux répercussions d'un changement ap­ pliqués sur les spécifications de haut niveau. Sur la base le modèle des Specification_Units (une décomposition modulaire du système où le comportement interne d'un module est modélisé par des réseaux de Petri colorés), nous définissons et caractérisons différentes espèces de dépendances (intra ou extra modulaire). Puis, sur la base de cette relation de propagation, nous pro­ posons une méthodologie à suivre devant une modification des spécifications. In the area of system engineering maintenance, a lot of tools and techniques exist but they are only oriented for code level maintenance which can be very costly. This paper focuses on change repercussion in high-level specification (HLS). Based on the Specification_Units model (a modular decomposition of the system, where behavior is expressed with Colored Petri Nets), we define and characterise different kinds of dependencies (intra- modular and extra-modular). On the basis of this propagation re­ lation, we suggest a maintenance guide-line, to be followed in front of a change within HLS.