IUT de Vélizy Université de Versailles St-Quentin en Yvelines De l'analyse des besoins à la spécification formelle en B : un cours en première année d'IUT.