Formalisation d'un procédé de développement logiciel basé modèle Verification formelle par la methode B

Un des enjeux actuels et majeurs du Genie Logiciel est d'automatiser et d'industrialiser le procede de developpement du logiciel. La demande en logiciel s'est considerablement acceleree et doit repondre aujourd'hui a une complexite croissante, une forte exigence de qualite et de certification, une interoperabilite entre les systemes, les reseaux et une forte communication. Dans ce contexte, trois domaines de l'ingenierie du logiciel peuvent jouer un role important: l'ingenierie des procedes, l'ingenierie des modeles et la verification formelle. La convergence de ces trois domaines represente un interet majeur et leur mise en oeuvre est realisee au travers de trois etudes de cas."