Quelques autres utilisations de FNC-2

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 ;