Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Etude et realisation de logiciels pour les environnements de programmation et de specifications formelles
| Auteur / Autrice : | Patrick Amar |
| Direction : | Marie-Claude Gaudel |
| Type : | Thèse de doctorat |
| Discipline(s) : | Sciences appliquées |
| Date : | Soutenance en 1996 |
| Etablissement(s) : | Paris 11 |
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