|
Title:
|
AUTOMATING USABILITY EVALUATION OF VISUAL
USER INTERFACES IN THE TILE LOGIC |
|
Author(s):
|
Vladimir V. Devyatkov and Evgeny A. Tipsin |
|
ISBN:
|
978-989-8533-91-3 |
|
Editors:
|
Katherine Blashki and Yingcai Xiao |
|
Year:
|
2019 |
|
Edition:
|
Single |
|
Keywords:
|
Tiles Logic, Verification of Properties, Graphical User Interface, Usability, Usability Evaluation, Intelligent Agents,
Automating Usability Evaluation, Hu |
|
Type:
|
Full Paper |
|
First Page:
|
254 |
|
Last Page:
|
262 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
This article presents the methodology of formal automated evaluation of user interface usability. The tiles logic was
selected as the language for solving problems in formal usability verification. The paper contains an overview of the
related works, explains the reasons for using the tile logic, and considers the principles of verification (proof) of usability
as validation of agents interaction. The differences and advantages of the developed approach from the well-known are
shown. A description of the agents interaction in the tile logic is used to automate usability evaluation. The methodology
of formal automated usability evaluation is demonstrated by describing the interaction of two simple agents in the tile
logic. In conclusion, we present future of use and development of the proposed approach. |
|
|
|
|
|
|
