Formalisation d'Un Proc d de D veloppement Logiciel Bas Mod le

Un des enjeux actuels et majeurs du G nie Logiciel est d'automatiser et d'industrialiser le proc d de d veloppement du logiciel. La demande en logiciel s'est consid rablement acc l r e et doit r pondre aujourd'hui
une complexit croissante, une forte exigence de qualit et de certification, une interop rabilit entre les syst mes, les r seaux et une forte communication. Dans ce contexte, trois domaines de l'ing nierie du logiciel peuvent jouer un r le important: l'ing nierie des proc d s, l'ing nierie des mod les et la v rification formelle. La convergence de ces trois domaines repr sente un int r t majeur et leur mise en oeuvre est r alis e au travers de trois tudes de cas.