Abstract FR:

L'objectif de cette thèse est de construire une méthode de développement orienté objet. Elle comprend d'abord une introduction aux concepts, principes et techniques du génie logiciel, l'accent étant mis sur la spécification formelle et les méthodes de développement. Dans le deuxième chapitre, une étude est faite sur les concepts de base relatifs à la notion d'objet. Le troisième chapitre présente l'état de l'art des méthodes de développement orienté objet. Une classification et une synthèse de celles-ci sont faites. Le quatrième chapitre décrit notre méthode DOOMEX, composée d'une étape d'analyse orientée objet (AOO) et d'une étape de conception orientée objet (COO). Pour maîtriser la complexité inhérente aux systèmes d'informations multi-exploitants, DOOMEX structure d'abord le développement d'un système en parties mono-exploitants, et ensuite met en relation ces parties coopérantes. DOOMEX se distingue des autres méthodes par: 1) une technique de spécification algébrique des types abstraits (SATA) qui assure la cohérence de la spécification; 2) une technique de structuration des automates complexes; 3) le modèle des tâches; 4) la notion de classe fédératrice; 5) une architecture logicielle ouverte, propre à notre approche multi-exploitants.