Abstract FR:

Nous etudions dans cette these differents aspects relatifs a l'introduction du paradigme de modularite dans les specifications algebriques. D'un point de vue theorique nous etendons la notion de renommage dans le langage pluss et, par la definition d'un cadre formel de specifications modulaires, nous en donnons une semantique appropriee. Nous presentons egalement une strategie de selection fondee sur le decoupage modulaire des specifications nous permettant de developper une theorie de la reecriture mixte sans inverses aux constructeurs. Au niveau pratique nous decrivons la conception de la specification formelle et le developpement d'un composant essentiel du logiciel d'aide a la specification algebrique asspegique+. La conception de cette specification est accompagnee d'une analyse methodologique conduisant a une etude critique des differents etats d'achevement prevus dans le langage pluss