Vers un développement sûr d'applications interactives - Archive ouverte HAL Accéder directement au contenu
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

Dates et versions

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

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

Partager

Gmail Facebook X LinkedIn More