La sp cification de syst mes complexes est une t che difficile qui ne peut tre accomplie en une seule tape. Dans les m thodes formelles, le concept de raffinement a donn lieu de nombreux travaux dans lesquels la preuve de la correction entre les diff rents tats de sp cifications joue un r le important. L'activit de refactoring consiste restructurer un mod le en vue d'am liorer certains facteurs de qualit , tout en pr servant la coh rence de ce mod le.Ce travail pr conise l'utilisation de deux techniques de raffinement et de refactoring afin d' tablir des mod les UML de qualit c'est- -dire corrects par construction, extensibles, r utilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la mod lisation statique de son application et proposition des sch mas de refactoring des mod les UML d crits par des diagrammes de classes, contraintes OCL et diagrammes d' tats-transitions afin d'aider le concepteur lors de la restructuration des mod les UML.