Université de Neuchâtel

Towards bridging the gap between reprensentation and formalism in the context of systems life cycle management processes

Simon, Eric ; Stoffel, Kilian (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2013 ; 2400.

Dans le contexte de la gestion des cycles de vie des systèmes (SDLC), on observe un fossé entre, d'une part, les représentations utilisées pour modéliser les méthodologies sous forme de processus, par exemple en utilisant business process model and notation (BPMN), et d'autre part les formalismes qui offriraient les possibilités d'analyses nécessaires à la validation des processus...