Helping the Automated Validation Process of User Interfaces Systems

Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché

DOI 10.1109/icse.1998.671121 dblp

Abstract

This paper describes the prototype of a software environment that was devised for helping the formal validation of user interfaces systems. The paper suggests an approach to include such formal operations in the design process. An abstract and formal representation of the user interface system is produced to perform formal verifications on it. The paper explains why the user interface system can be modelled properly by a dataflow system and how this model can be expressed by using equations of flows in the language Lustre. It describes then some main tools of the environment.

BibTeX

@inproceedings{dAusbourg-al:ICSE98,
  author    = {Bruno d'Ausbourg and
               Christel Seguin and
               Guy Durrieu and
               Pierre Roch{\'{e}}},
  title     = {Helping the Automated Validation Process of User Interfaces Systems},
  booktitle = {ICSE},
  pages     = {219--228},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Helping the Automated Validation Process of User Interfaces Systems

Abstract

Related papers