Contribution à l'étude du processus de développement de logiciels : assistance à base de connaissance et modélisation des objets logiciels

par Tahar Khammaci

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Claude Derniame.

Soutenue en 1991

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude du processus de développement de logiciels selon deux aspects: 1) l'un concerne l'assistance a base de connaissance au développement. Une telle assistance repose sur une modélisation du processus de développement de logiciels. Le système UPSSA (using pre-postconditions for simulating software assistant) est une proposition d'intégration d'un outil d'assistance intelligente fonde sur les principes des systèmes à base de connaissances dans un environnement de génie logiciel. En outre, ce système s'appuie sur le paradigme des générateurs de plans d'actions pour déclencher, durant une session de travail d'un développeur, une séquence d'actions permettant de maintenir le logiciel en cours de développement dans un état cohérent; 2) l'autre est relatif à la modélisation des objets logiciels. Contrairement aux applications classiques, les données manipulées dans un projet de génie logiciel sont de type variés et inhabituels. Pour prendre en compte les besoins de structuration des objets dans un environnement de génie logiciel, nous proposons un modèle, appelé modèle objet-relation (MOR), qui combine des caractéristiques des modèles orientes objets et des modèles de données sémantiques. Nous présentons ses aspects formels et un langage de spécification d'un schéma objet-relation ainsi que quelques indications pour guider un utilisateur dans la conception d'un tel schéma. Puis, nous décrivons la représentation du concept de relation dans le système à objets ceyxle-lisp

  • Titre traduit

    Contribution to the study of the software process : knowledge-based assistance and software object modeling


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol.(145 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Notes bibliogr.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-KHA
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : KHAMMACI c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.