Construction multistyle de prototypes exploratoires en Prolog : apports de la programmation visuelle et application à la négation

par Didier Ladret

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Boussard.

Soutenue en 1989

à Nice .


  • Résumé

    Le cadre de cette thèse est la manipulation de spécifications de logiciels sous la forme de prototypes exploratoires en Prolog. Un modèle multivue est introduit pour manipuler ce prototype de manière textuelle ou visuelle. L'utilisation des lois de la graphique de Bertin nous permet de proposer une représentation graphique qui se libère de beaucoup de contraintes textuelles et autorise une véritable programmation visuelle. La coopération entre les vues visuelle et textuelle est réalisée en adaptant à la structuration de prototypes Prolog des travaux de la structure mentale des images (théorie des codes duaux, théorie multicode). Chaque vue est proposée pour des classes de clauses Prolog ou son apport est optimal, mais une utilisation des deux vues en parallèle reste possible. Une approche multistyle de la négation permet la mise en œuvre d'une démarche pragmatique exploitant au mieux les résultats de différents travaux théoriques 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 préciser de manière incrémentale une quantification universelle ou existentielle des variables libres d'un littéral nié

  • Titre traduit

    Multiple styles construction of exploratory prototypes in Prolog : contribution of visual programming and application to the negation problem


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (238 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 191-206. Résumé en français et en anglais

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. Bibliothèque Sciences.
  • Non disponible pour le PEB
  • Cote : 89NICE4324
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Disponible pour le PEB
  • Cote : 89NICE4324BIS

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1989-LAD
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.