Formal and experimental validation approaches in HCI systems design based on a shared event B model

  title={Formal and experimental validation approaches in HCI systems design based on a shared event B model},
  author={Yamine A{\"i}t Ameur and Micka{\"e}l Baron},
  journal={International Journal on Software Tools for Technology Transfer},
The development of user interfaces (UI) needs validation and verification of a set of required properties. Different kinds of properties are relevant to the human computer interaction (HCI) area. Not all of them may be checked using classical software engineering validation and verification tools. Indeed, a large part of properties is related to the user and to usability. Moreover, this kind of properties usually requires an experimental validation. This paper addresses the cooperation between… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory • 2013
View 4 Excerpts
Highly Influenced

Formal development process of safety-critical embedded human machine interface systems

2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) • 2017
View 1 Excerpt

Study of implementation of ERTMS with respect to french national rules using a B centred methodology

Proceedings of 2013 International Conference on Industrial Engineering and Systems Management (IESM) • 2013
View 1 Excerpt

Using Formal Verification to Evaluate Human-Automation Interaction: A Review

IEEE Transactions on Systems, Man, and Cybernetics: Systems • 2013
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 45 references

Vers une approche sûre du développement des Interfaces Homme-Machine (Thesis)

M. Baron
Thèse de doctorat, Université de Poitiers • 2003
View 18 Excerpts
Highly Influenced

The B Book

J. R. Abrial
Assigning Programs to Meanings. Cambridge University Press, Cambridge • 1996
View 4 Excerpts
Highly Influenced

A framework for the heterogeneous formal modelling and compositional verification of avionics systems

Y. Ait-Ameur, R. Delmas, V. Wiels
Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCode’04), pp. 223–232 • 2004
View 1 Excerpt

Assistance au développement incrémental et à sa preuve

D. Cansell
Habilitation à diriger les recherches, Université Henri Poincaré • 2003
View 1 Excerpt

Formal Validation of HCI User Tasks

Software Engineering Research and Practice • 2003
View 2 Excerpts

Contribution à l’ingénierie en Interaction Homme-Machine

D. Navarre
Doctorat d’université (Phd Thesis), Université Toulouse, Vol. 3 • 2001
View 1 Excerpt

Similar Papers

Loading similar papers…