Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Incremental development of an embedded system in order to help prevention of burnout : issue and literature review

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é.
Fichier principal
Vignette du fichier
Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel.pdf (269.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02162094 , version 1 (21-06-2019)

Identifiants

  • HAL Id : hal-02162094 , version 1

Citer

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⟩
374 Consultations
314 Téléchargements

Partager

Gmail Facebook X LinkedIn More