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

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 interactiv...

Full description

Bibliographic Details
Main Author: Campos, José C. (author)
Other Authors: Curzon, Paul (author), Masci, Paolo (author), Harrison, Michael douglas (author)
Format: conferencePaper
Language:eng
Published: 2015
Subjects:
Formal methods
Interactive systems
Usability heuristics
Ciências Naturais::Ciências da Computação e da Informação
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Online Access:http://hdl.handle.net/1822/51043
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/51043
Description
Summary: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.

Similar Items