La Validation dans le Processus de Developpement
L'amelioration de la qualite d'un logiciel commence par l'expression de ses exigences en langage naturel. Notre objectif est de combler l'ecart entre le cahier des charges, celui du client, et la specification formelle, celle de l'informaticien. Dans ce papier, nous abordons la validation tout au long du processus de developpement, en tenant compte des exigences et la specification en Event B du logiciel. La verification peut aussi detecter des incoherences dans les exigences. La place des outils, notamment avec la plateforme Rodin, est importante au long de ce processus, ameliorant sa qualite et sa documentation. Notre approche est illustree par l'etude de cas d'un systeme de controle du train d'atterrissage d'un avion.
INFORSID