Formal Validation of HCI User Tasks

@inproceedings{Ameur2003FormalVO,
  title={Formal Validation of HCI User Tasks},
  author={Yamine A{\"i}t Ameur and Micka{\"e}l Baron and Patrick Girard},
  booktitle={Software Engineering Research and Practice},
  year={2003}
}
Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI or the user tasks. Each task is modelled by a sequence of fired events. Each event is defined in the abstract specification and design of… CONTINUE READING
Highly Cited
This paper has 188 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

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

188 Citations

0204060'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 188 citations based on the available data.

See our FAQ for additional information.

References

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

Towards a Method for Task Description : MAD

  • D. L. Scapin, C. Pierret-Golbreich
  • inWork with display units . Elsevier Science…
  • 1990
Highly Influential
3 Excerpts

Specification, Design, Refinement and Implementation of Interactive Systems: the B Method

  • Y. Ait-Ameur, P. Girard
  • LISI/ENSMA, Tech. Rep., March 2001.
  • 2001
2 Excerpts

A uniform approach for the specification and design of interactive systems: the b method

  • Y. At-Ameur, P. Girard, F. Jambon
  • Eurographics Workshop on Design, Specification…
  • 1998
2 Excerpts

Mod́elisation et Validation d’Interfaces Homme- Machine

  • P. Roche
  • Ph.D. dissertation, ENSAE, March 1998.
  • 1998
1 Excerpt

Atelier b - version 3.5

  • ClearSy
  • 1997. [Online]. Available: http://www.atelierb…
  • 1997
1 Excerpt

Specifying a Web Browser Interface Using Object-Z

  • A. Hussey, D. Carrington
  • inFormal Methods for Human- Computer Interaction…
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…