Nantes Atlantique Universités Université de Nantes-UFR Sciences
7 mai 2010 ... développement de logiciels : Intégration de méthodes .... 1. Motivations. 81. 2.
Spécification et analyse en B de systèmes de ..... L'utilisation de modèles
abstraits en génie logiciel est courant ; par ... Vérification de propriétés : C'est l'
examen d'un modèle afin de ..... 1. Langage de spécification algébrique. 2.