J.C. Campos
High assurance interactive computing systems
In J. Ziegler, J. C. Campos and L. Nigay, editors, HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 39-42. 2014.

Abstract

If interactive computing systems development is to be considered an engineering discipline, we need methods and tools to help us reason about and predict the quality of systems, from early in the design process. This paper provides a brief overview of work we have been carrying out in the general area of evaluating and ensuring the quality of interactive computing systems. Some of the work currently being carried out is also discussed. Discussed approaches range from the formal verification of user interface models through model checking, to the reverse engineering and model based testing of implemented interactive computing systems.

visit publisher   download PDF

@InProceedings{Campos:2014,
 author = {J.C. Campos},
 title = {High assurance interactive computing systems},
 booktitle = {HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems},
 pages = {39-42},
 year = {2014},
 editor = {J. Ziegler and J. C. Campos and L. Nigay},
 abstract = {If interactive computing systems development is to be considered an engineering discipline, we need methods and tools to help us reason about and predict the quality of systems, from early in the design process. This paper provides a brief overview of work we have been carrying out in the general area of evaluating and ensuring the quality of interactive computing systems. Some of the work currently being carried out is also discussed. Discussed approaches range from the formal verification of user interface models through model checking, to the reverse engineering and model based testing of implemented interactive computing systems.},
 hdl = {1822/35964},
 paperurl = {http://hci-engineering.di.uminho.pt/Program_files/Campos.pdf}
}

Generated by mkBiblio 2.6.26