Abstract
The paper presents methodological principles for a formal automated assessment of user interface usability. We chose tile logic as the mathematical tool for solving the problems pertaining to this formal check. The paper reviews previous publications in the field under consideration, explains the reasons behind selecting the method of tile logic, and considers the principles governing verification (proof) of user interface usability. We highlight the differences between the procedure developed and those known previously, and its advantages. We use a simple example to show the principles of formal automated assessment of user interface usability in terms of tile logic. We describe the development of the procedure proposed and the prospects of employing it
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
