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

Résumé : Cet article présente la problématique d'une thèse initiée en novembre 2018, ainsi qu'une syn-thèse de la revue de littérature sur le syndrome d'épuisement professionnel. Nous cherchons à étudier l'apport d'une approche formelle de développement incrémental dans le domaine de la santé et des applications mobiles, pour spécifier, concevoir, évaluer et développer une solution lo-gicielle d'aide au diagnostic de ce syndrome. Nous expliquons les choix faits à ce jour aussi bien pour le versant psychologique que pour le versant informatique. Le cas particulier de l'épuisement professionnel nous semble approprié à ce type de recherche. Les approches formelles permettent de détecter au plus tôt des erreurs de spécification et de conception. Ces approches formelles seront associées à une technique de développement incrémental maintenant les propriétés de vivacité et de sûreté du système tout au long du développement. Nous utiliserons également l'approche Agile afin de favoriser les échanges entre utilisateurs et concepteurs. Le système réalisé vise ainsi à répondre aux exigences non fonctionnelles de fiabilité, robustesse, performance et utilisabilité.
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02162094
Contributor : Marion Kissous <>
Submitted on : Friday, June 21, 2019 - 1:49:26 PM
Last modification on : Wednesday, September 18, 2019 - 1:58:07 PM

File

Spécification incrémentale d...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02162094, version 1

Citation

Marion Kissous, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Sophie Martin. Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature. AFADL - Approches Formelles dans l’Assistance au Développement de Logiciels, GDR-GPL (Groupement de Recherche Génie de la Programmation et du Logiciel - INS2I CNRS), Jun 2019, Toulouse, France. ⟨hal-02162094⟩

Share

Metrics

Record views

91

Files downloads

64