Encontrados 10 documentos, a visualizar página 1 de 1
The APEX framework : prototyping of ubiquitous environments based on Petri Nets
Silva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anticipate potential user problems, and to reduce the cost of redesign. However, the development of early prototypes to be evaluated in the target environment can be disruptive to the ongoing system and therefore unacceptable. This paper reports on...
Is there a role for rigorous system analysis in experience experience centred d...
Harrison, M. D.; Doherty, Gavin J.; Campos, J. CreissacPosition paper - Interact 2005 : Workshop on Space, Place and Experience in Human-Computer Interaction, Rome, Italy, 13 Setembro 2005.
Verifying user interface behaviour with model checking
Campos, J. Creissac; Harrison, M. D.; Loer, KarstenA large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also captures important features of the context to allow restrictions of behavio...
From HCI to software engineering and back
Campos, J. Creissac; Harrison, M. D.Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recognition increases that a user's failure to understand how an automated system works may jeapordise its safety. While ultimately only deployment of a system will prove its usability, a number of approaches to early analysis have been pro...
Model checking interactor specifications
Campos, J. Creissac; Harrison, M. D.Recent accounts of accidents draw attention to "automation surprises" that arise in safety critical systems. An automation surprise can occur when a system behaves differently from the expectations of the operator. Interface mode changes are one class of such surprises that have significant impact on the safety of a dynamic interactive system. They may take place implicitly as a result of other system action. ...
Representational reasoning and verification
Doherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations and the representation of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis on the role of r...
Using automated reasoning in the design of an audio-visual communication system
Campos, J. Creissac; Harrison, M. D.Formal reasoning about how users and systems interact poses a difficult challenge. Interactive systems design provides a context in which the subjective area of human understanding meets the objectivity of computer systems logic. We present results of a case study in the use of automated reasoning to aid the formal analysis of interactive systems. We show how we can use human-factors issues to generate properti...
The role of verification in interactive systems design
Campos, J. Creissac; Harrison, M. D.In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required properties; and that changing the focus from a global specification into partial, property oriented, specifications can provide a number of advantages and make verification act as an aid to decision making. We also present a compiler that allow...
Representational reasoning and verification
Doherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Formal approaches to the design of interactive systems, such as the principled design approach rely on reasoning about properties of the system at a very high level of abstraction. Such specifications typically provide little scope for reasoning about presentations and the representation of information in the presentation. Theories of distributed cognition place a strong emphasis on the role of representations ...
Formally verifying interactive systems : a review
Campos, J. Creissac; Harrison, M. D.Although some progress has been made in the development of principles to guide the designers of interactive systems, ultimately the only proven method of checking how usable a particular system is must be based on experiment. However, it is also the case that changes that occur at this late stage are very expensive. The need for early design checking increases as software becomes more complex and is designed to...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||