Formalisation Des Processus de l''ing nierie Syst me

Ce livre presente une contribution methodologique a la discipline d'ingenierie systeme. La principale contribution est la proposition d'une methode facilitant l'application des processus normatifs de l'ingenierie systeme dans les processus operationnels. Ce travail repose sur une analyse approfondie des processus proposes par les standards de l'ingenierie systeme (EIA 632, ISO 15288 et IEEE 1220) ainsi que sur la formalisation de l'EIA-632 en SPEM/UML. La demarche proposee repose sur les outils et methodes developpees en ingenierie des modeles pour specialiser peu a peu les processus par transformations de modeles. Pour completer et outiller cette demarche, l'auteur a aussi developpe un outil de validation de modeles grace auquel un utilisateur peut s'assurer du respect de regles de coherences.