Publicação

Layers, resources and property templates in the specification and analysis of two interactive systems

Ver documento

Detalhes bibliográficos
Resumo:The paper briefly explores a layered approach to the analysis of two interactive systems (Nuclear Control and Air Traffic Control), indicating how the analysis enables exploration of the particular features emphasised by the use cases relating to the examples. These features relate to the interactive behaviour of the systems. To facilitate the analysis, property templates are proposed as heuristics for developing appropriate requirements for the respective user interfaces.
Autores principais:Campos, José C.
Outros Autores:Curzon, Paul; Masci, Paolo; Harrison, Michael douglas
Assunto:Formal methods Interactive systems Usability heuristics
Ano:2015
País:Portugal
Tipo de documento:comunicação em conferência
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados