Next: Diffusion des résultats
Up: Le traducteur vers
Previous: Le traducteur vers
Dans cette section, j'ai regroupé un ensemble d'utilisations de FNC-2 dont je n'ai
pas encore parlé et qui ont fait l'objet d'un rapport écrit (au moins pour certain
d'autre eux) ou d'une certaine collaboration (mail électronique).
- Première évaluation d'utilisation de FNC-2 pour l'enseignement à
INRIA/Lorraine [LNP90];
- Utilisation de FNC-2 pour Pascal [Dur88,Ben93] ;
- Utilisation de FNC-2 pour la définition de protocole de communication
[And95] ;
- Utilisation de FNC-2 pour E-LOTOS [Viv96] ;
- Utilisation de FNC-2 pour un mini-JAVA ;
Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997