Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature

Cet article presente la problematique d'une these initiee en novembre 2018, ainsi qu'une syn-these de la revue de litterature sur le syndrome d'epuisement professionnel. Nous cherchons a etudier l'apport d'une approche formelle de developpement incremental dans le domaine de la sante et des applications mobiles, pour specifier, concevoir, evaluer et developper une solution lo-gicielle d'aide au diagnostic de ce syndrome. Nous expliquons les choix faits a ce jour aussi bien pour le versant psychologique que pour le versant informatique. Le cas particulier de l'epuisement professionnel nous semble approprie a ce type de recherche. Les approches formelles permettent de detecter au plus tot des erreurs de specification et de conception. Ces approches formelles seront associees a une technique de developpement incremental maintenant les proprietes de vivacite et de surete du systeme tout au long du developpement. Nous utiliserons egalement l'approche Agile afin de favoriser les echanges entre utilisateurs et concepteurs. Le systeme realise vise ainsi a repondre aux exigences non fonctionnelles de fiabilite, robustesse, performance et utilisabilite.