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

par Annya Romanczuk

Thèse de doctorat en Informatique

Sous la direction de Gérard Comyn.

Soutenue en 1989

à Lille 1 .


  • Résumé

    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 mene��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

  • Titre traduit

    Towards a methodological guide for the design of object oriented programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 10 p.

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1989-229
  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1989-230
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.