High assurance interactive computing systems
- Citation:
- Campos JC. 2014. High assurance interactive computing systems. HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, copy at www.tinyurl.com/yyb83e6u
Date Presented:
JuneAbstract:
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.
Citation Key:
1983
Recent Publications
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.