Towards systematic usability verification.
Max MöllersJonathan DiehlMarkus JordansJan O. BorchersPublished in: CHI Extended Abstracts (2009)
Keyphrases
- model checking
- multiscale
- person identification
- formal verification
- formal methods
- real world
- real time
- verification method
- usability evaluation
- functional verification
- concurrent systems
- usability testing
- formal analysis
- face verification
- temporal logic
- user experience
- evolutionary algorithm
- artificial neural networks
- expert systems
- computer vision
- information retrieval
- data mining