Doomex : méthode de développement orienté objet multi-exploitants

par Xin Wang

Thèse de doctorat en Informatique

Sous la direction de Alain Haurat.


  • Résumé

    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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (212 p.)
  • Annexes : Bibliogr. p.169-188 (213 réf.). Glossaire

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Non disponible pour le PEB
  • Cote : T L1994/20
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.