Communication Dans Un Congrès Année : 2003

Integrating formal approaches in Human-Computer Interaction methods and tools: an experience

Résumé

Formal methods are increasingly used by HCI researchers. Nevertheless, their usage in actual interactive developments is not so common. In this paper, we describe the use of a specific formal method from two viewpoints. On the one hand, we demonstrate how it is possible to use a formal method on real development from specification to actual code. Doing so, we notice that HCI concepts, such as architecture models, may have to be adapted. On the other hand, we show how it is possible to bring more usability to formal methods by the way of a complete integration into HCI tools. We conclude in eliciting the lessons learned from these works.

Fichier principal
Vignette du fichier
2003-sehci-gibmjf.pdf (427.88 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-03759396 , version 1 (24-08-2022)

Licence

Identifiants

  • HAL Id : hal-03759396 , version 1

Citer

Patrick Girard, Mickael Baron, Francis Jambon. Integrating formal approaches in Human-Computer Interaction methods and tools: an experience. Closing the Gaps: Software Engineering and Human-Computer Interaction (Interact 2003 Workshop), Sep 2003, Zürich, Switzerland. pp.55-62. ⟨hal-03759396⟩
105 Consultations
188 Téléchargements

Partager

  • More