Un des enjeux actuels et majeurs du GA(c)nie Logiciel est d'automatiser et d'industrialiser le procA(c)dA(c) de dA(c)veloppement du logiciel. La demande en logiciel s'est considA(c)rablement accA(c)lA(c)rA(c)e et doit rA(c)pondre aujourd'hui A une complexitA(c) croissante, une forte exigence de qualitA(c) et de certification, une interopA(c)rabilitA(c) entre les systA]mes, les rA(c)seaux et une forte communication. Dans ce contexte, trois domaines de l'ingA(c)nierie du logiciel peuvent jouer un rAle important: l'ingA(c)nierie des procA(c)dA(c)s, l'ingA(c)nierie des modA]les et la...