1980ís ý Nancy
81 Crin 90 personnes Pair part
Preuves de programmes se dÈveloppent (P Lescanne)
Programmation par contraintes (JJ Chabrier)
Environnements de spÈcification (JP Finance)
Objets Eiffel ( B Meyer, D Colnet 86)
Outils Èditeurs de texte (incrÈmental, graphique, gÈnÈrateur..), (JCD)
85 LTR3 Langage temps rÈel pour la dÈfense nationale (Sita)
86 Ateliers: participation ý PCTE (Portable Common Tool Environment)
Projet europÈen de plate forme supportant des ateliers ( cošt moyen
díun atelier qqs 100 Homme-annÈe)
88 Alf Prototype europÈen díatelier centrÈ sur des modËles de procÈdÈs