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.Jose Creissac Campos and Michael Harrison were funded by ´
project ref. NORTE-07-0124-FEDER-000062, co-financed
by the North Portugal Regional Operational Programme
(ON.2 O Novo Norte), under the National Strategic Reference
Framework (NSRF), through the European Regional
Development Fund (ERDF), and by national funds, through
the Portuguese foundation for science and technology (FCT).
Paul Curzon, Michael Harrison and Paolo Masci were funded
by the CHI+MED project: Multidisciplinary Computer Human
Interaction Research for the design and safe use of interactive
medical devices project, UK EPSRC Grant Number
EP/G059063/1.info:eu-repo/semantics/publishedVersio
