Recherche

Pour résumer mon activité de recherche, je dirai que ... je cherche ... Vous voulez en savoir un peu plus ? Appuyez ici. Si ce CV résumé ne suffit toujours pas à étancher votre soif, lisez ce qui suit.

En deux temps, trois mouvements, voici ce que je puis vous dire : j'essaie de définir des techniques qui permettent à un utilisateur non informaticien de comprendre ce que fait un informaticien, de façon à pouvoir valider son travail.

On peut résumer mon thème de recherche par ce schéma :

Vous trouverez ici quelques explications complémentaires.


Deux projets occupent mon temps :

1) PARAF-CSI, tout d'abord, projet de réalisation d'un outil à vocation pédagogique, permettant de passer d'un texte à une spécification Merise, OMT ou Niam et inversement. A un bout de la chaîne, il y a un éditeur de textes. A l'autre, un éditeur de schémas. Entre les deux, un convertisseur. "Au-dessus", un superviseur. La structure globale ressemble à celle ci-après :

Les différents composants sont les suivants :

Ce travail est, en partie, mené à bien grâce à un groupe d'étudiants de troisième année d'IUP-MIAGE, dans le cadre d'un projet.


2) PARAF-B, le second "tourne" autour de B, la méthode de spécification formelle définie par JR. ABRIAL, et de son paraphrasage. L'objectif de ce travail (qui est réalisé dans le cadre de la thèse de Djenabou DIALLO) est de disposer d'un outil qui, partant d'un code B correct, produit un texte en langue naturelle.