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.
Domaines
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|---|
| Licence |