Spécifications par attributs sémantiques pour la génération d'éditeurs structurés graphiques incrémentaux

par Alain Zarli

Thèse de doctorat en Informatique

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1990

à Nice .


  • Résumé

    Cette thèse est une contribution à la génération automatique d'éditeurs structurés graphiques incrémentaux, et plus particulièrement aux problèmes de visualisation au sein de tels éditeurs. Nous utilisons les grammaires attribuées comme méthode de spécification formelle exécutable des représentations graphiques, avec tous les avantages que présente cette technologie dont les plus intéressants sont l'aspect déclaratif et l'incrémentation de l'évaluation. Les travaux et résultats présentés dans ce mémoire sont : 1) le système GIGAS (Graphical Interface Generation by Attribute Specification), dont les principales composantes sont : a) un langage de spécification graphique de haut niveau GSL (Graphic Specification Language), et un compilateur pour ce langage produisant un système d'attributs ; b) un évaluateur d'attributs incrémental pour le système d'attributs engendrés par le compilateur GSL ; c) une machine abstraite graphique offrant à l'utilisateur final un environnement convivial de développement sous un éditeur ; d) le langage GSL, mettant en œuvre le concept des boîtes de Knuth et permettant d'exprimer sous une forme purement déclarative les contraintes de positionnement entre les différents objets d'une application développée sous un éditeur ; 2) des exemples d'éditeurs engendrés à partir du système GIGAS, et tout particulièrement un éditeur pour le langage LOTOS et sa syntaxe graphique G-LOTOS, permettant le développement d'objets sous une forme textuelle ou graphique, et le passage d'une forme à l'autre

  • Titre traduit

    Specifications by semantic attributes for the generation of incremental and graphical language-based editors


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ([200 p.])
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p 193-[200]. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Non disponible pour le PEB
  • Cote : 90NICE4424
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Disponible pour le PEB
  • Cote : 90NICE4424BIS

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-1990-ZAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.