Un Outil Pour La Conception Et L Evaluation De Hierarchies De Classes Dans Un Modele Oriente Objet Microforme

Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet [microforme]

Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet

Vers un guide méthodologique pour la conception de programmes orientés objet

L'objectif est de définir, dans une perspective méthodologique, un outil d'aide à l'analyse et au développement de programmes à base d'objets. L'utilisation de ce guide conduit à créer un modèle de la réalité directement déduit de l'énoncé originel du problème, et intuitivement, il est clair que plus l'espace de solution correspond de près à notre abstraction de la réalité, mieux nous pourrons atteindre les buts du génie logiciel, à savoir, la modifiabilité, l'efficacité, la fiabilité, l'intelligibilité. la convergence des études menees sur le génie logiciel, les spécifications algébriques et les langages orientés objet ont permis la mise en place d'un guide méthodologique. Ce guide induit une démarche incrémentale, au sens ou les spécificités de la programmation orientée objet sont intégrés au fur et à mesure. Plus précisément, cette démarche se décompose en 4 phases : l'analyse qui met l'accent sur la nécessité de faire reposer la solution sur l'énoncé du problème. Les spécifications (statiques) de type algébrique. Les spécifications (dynamique), i.e. définition de contrôles susceptible d'être effectués au cours de l'exécution du programme. La génération automatique de code Keops (langage oriente objet base sur Le-Lisp). Nous obtenons ainsi, comme résultats de l'utilisation du guide, des fichiers Keops satisfaisant les spécifications statiques et dynamiques, qu'il suffit de compléter au niveau du corps des méthodes pour obtenir le programme entier