La spA(c)cification de systA]mes complexes est une tA che difficile qui ne peut Aatre accomplie en une seule A(c)tape. Dans les mA(c)thodes formelles, le concept de raffinement a donnA(c) lieu A de nombreux travaux dans lesquels la preuve de la correction entre les diffA(c)rents A(c)tats de spA(c)cifications joue un rAle important. L'activitA(c) de refactoring consiste A restructurer un modA]le en vue d'amA(c)liorer certains facteurs de qualitA(c), tout en prA(c)servant la cohA(c)rence de ce modA]le.Ce travail prA(c)conise l'utilisation de deux techniques de raffinement et de refactoring afin...
La spA(c)cification de systA]mes complexes est une tA che difficile qui ne peut Aatre accomplie en une seule A(c)tape. Dans les mA(c)thodes formelles,...
