Communication Dans Un Congrès Année : 2001

Vers un développement sûr d'applications interactives

Résumé

Pour développer des applications interactives sûres, deux approches peuvent aujourd'hui être mises en parallèle : les Systèmes Basés sur Modèles (Model-Based Systems) d'une part, et les approches formelles d'autre part. Malgré des avancées intéressantes, aucune d'elles n'est encore parvenue à s'imposer. Nous explorons dans ce travail une voie qui peut être qualifiée d'intermédiaire, puisqu'elle associe un développement formel d'application non interactive à un système de conception interactif, dans le but de conjuguer les apports de ces deux classes d'approches.

Fichier principal
Vignette du fichier
2001-ihmhci01-baron-gp.pdf (48.14 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Licence

Dates et versions

hal-03592697 , version 1 (08-03-2022)

Licence

Identifiants

  • HAL Id : hal-03592697 , version 1

Citer

Mickaël Baron, Patrick Girard. Vers un développement sûr d'applications interactives. 13e conférence francophone sur l'Interaction Homme-Machine (IHM 2001), Sep 2001, Lille, France. ⟨hal-03592697⟩
55 Consultations
66 Téléchargements

Partager

  • More