Etude et realisation de logiciels pour les environnements de programmation et de specifications formelles

par Patrick Amar

Thèse de doctorat en Sciences appliquées

Sous la direction de M.-C. GAUDEL.

Soutenue en 1996

à Paris 11 .

    mots clés mots clés


  • Résumé

    Le travail presente ici porte sur l'etude et l'implementation d'outils entrant dans la composition d'environnements de programmation. Ces outils sont: lal: un systeme lisp complet qui est utilise pour programmer les extensions de l'editeur de textes. Wilal: un editeur de textes pour terminal alphanumerique plein ecran, multi-fenetres, extensible. Wix: un editeur de textes graphique extensible pour le systeme de fenetrage x (x window system). Avec lal on a voulu obtenir un modele d'implementation suffisament general et modifiable pour servir de base d'experimentation a la machine lisp koala developpee par l'equipe architecture des machines du laboratoire. D'autre part, on voulait avoir un systeme lisp complet et conforme a un standard pour recuperer des logiciels deja existants et faciliter le portage des nouveaux. Cela correspondait a un besoin de l'equipe programmation dans le cadre du developpement du systeme de specifications formelles asspegique. Wilal possede de nombreuses fonctions d'edition et de manipulation de texte, ainsi que des fonctions de dialogue avec l'utilisateur. Un module d'extension peut directement utiliser les fonctions internes de wilal pour implementer de nouvelles fonctionnalites et les associer a des commandes utilisateur. Ces extensions peuvent servir soit a etendre les possibilites de l'editeur, soit a procurer une interface conviviale a une application. Pour realiser wix nous avons developpe une boite a outils graphique basee sur le modele de classes de composants d'interfaces graphiques de la bibliotheque xt intrinsics. L'un des composants de cette boite a outils est un widget d'edition de texte, derive de wilal, qui implemente de nouvelles fonctionnalites comme l'affichage de textes en couleurs et avec plusieurs polices de caracteres


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 146 P.
  • Annexes : 16 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-012827
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.