Formalisation des processus de l''Ingénierie Système

Ce livre présente une contribution méthodologique à la discipline d''ingénierie système. La principale contribution est la proposition d''une méthode facilitant l''application des processus normatifs de l''ingénierie système dans les processus opérationnels. Ce travail repose sur une analyse approfondie des processus proposés par les standards de l''ingénierie système (EIA 632, ISO 15288 et IEEE 1220) ainsi que sur la formalisation de l''EIA-632 en SPEM/UML. La démarche proposée repose sur les outils et méthodes développées en ingénierie des modèles pour spécialiser peu à peu les processus par transformations de modèles. Pour compléter et outiller cette démarche, l''auteur a aussi développé un outil de validation de modèles grâce auquel un utilisateur peut s''assurer du respect de règles de cohérences.