next up previous
Next: Diffusion de nos Up: Implantation et développement Previous: Quelques autres utilisations

Diffusion des résultats et distribution

 

Lorsque FNC-2 a été opérationnel (1990) nous nous sentions plus à l'aise pour en parler publiquement. Donc en 1990 nous avons accompli un très important effort de diffusion des résultats en publiant plusieurs communications sur différents aspects du système [JPJ90,JP90b,JP90a]. Cependant, une partie importante de mes efforts en 1990 a été consacrée à l'obtention d'une version distribuable de FNC-2 (par FTP, permettant au moins une évaluation de ses possibilités. Mais je dois admettre que j'ai mis un certain temps à convaincre l'auteur du logiciel SYNTAX , de me permettre de distribuer une version simplifié de SYNTAX (c'est un produit payant pour les industriels) dans la distribution de FNC-2 .

Nous avons aussi effectué un effort de documentation par la mise à jour du manuel de référence [JP] de FNC-2 (mais pas autant qu'il le faudrait), comme l'ajout d'un guide de première utilisation avec l'outil graphique xfnc (cf. la section 4.7).

En 1992, avec l'environnement CENTAUR j'avais pu concevoir une présentation (démonstration) de FNC-2 que j'ai en particulier présenté aux anniversaire de l'INRIA avec I. ATTALI et aux journées GRECO programmation à Toulouse [AP92]. Mais comme l'essentiel de cette présentation était réalisé par moi-même, il m'a été difficile de suivre les diverses évolutions (versions) du système CENTAUR par la suite.





Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997