Verification templates for the analysis of user interface software design

The paper describes templates for model-based analysis of usability and safety aspects of user interface software design. The templates crystallize general usability principles commonly addressed in user-centred safety requirements, such as the ability to undo user actions, the visibility of operati...

Full description

Bibliographic Details
Main Author: Harrison, Michael douglas (author)
Other Authors: Masci, Paolo (author), Campos, José C. (author)
Format: article
Language:eng
Published: 2019
Subjects:
Human-computer interaction
model-based development
formal specifications
formal verification
prototype verification system (PVS)
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Science & Technology
Online Access:http://hdl.handle.net/1822/66928
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/66928

Internet

http://hdl.handle.net/1822/66928

Similar Items