Construction multistyle de prototypes exploratoires en prolog : apports de la programmationvisuelle et application a la negation

par DIDIER LADRET

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Claude Boussard.

Soutenue en 1989

à Nice .

    mots clés mots clés


  • Résumé

    Le cadre de cette these est la manipulation de specifications de logiciels sous la forme de prototypes exploratoires en prolog. Un modele multivue est introduit pour manipuler ce prototype de maniere textuelle ou visuelle. L'utilisation des lois de la graphique de bertin nous permet de proposer une representation graphique qui se libere de beaucoup de contraintes textuelles et autorise une veritable programmation visuelle. La cooperation entre les vues visuelle et textuelle est realisee en adaptant a la structuration de prototypes prolog des travaux de la structure mentale des images (theorie des codes duaux, theorie multicode). Chaque vue est proposee pour des classes de clauses prolog ou son apport est optimal, mais une utilisation des deux vues en parallele reste possible. Une approche multistyle de la negation permet la mise en uvre d'une demarche pragmatique exploitant au mieux les resultats de differents travaux theoriques sur ce sujet. L'objectif est de permettre la construction d'un prototype prolog au plus haut niveau d'expression. On autorise ainsi au programmateur de preciser de maniere incrementale une quantification universelle ou existentielle des variables libres d'un litteral nie


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 160 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-LAD
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.