Université Lille1 - Sciences et Technologies Vers un guide méthodologique pour la conception de programmes orientés objet Towards a methodological guide for the design of object oriented programs Sciences appliquées : informatique, automatique théorique, systèmes Langage orienté objet/programmation orientée objet/spécification algébrique/approche méthodologique/analyse orientée objet 005.117 Conception orientée objets (informatique) Text Electronic Thesis or Dissertation fr 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 menées 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 application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1989/50376-1989-229.pdf Romanczuk Annya 1900-01-01 140247548 1989LIL10133 1989-01-01 informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Comyn Gérard 083303618 ddc:000 ASCII PDF 9999