Author(s):
Campos, J. Creissac 
Date: 2003
Persistent ID: http://hdl.handle.net/1822/744
Origin: RepositóriUM - Universidade do Minho
Subject(s): Análise de usabilidade; Métodos formais; Model checking
Document details
Uma abordagem formal à engenharia da usabilidade
Description
A qualidade dos sistemas interactivos pode ser medida em termos da sua usabilidade. Abordagens empíricas à avaliação procuram avaliar os sistemas sob condições reais de utilização mas, tipicamente, são dispendiosos. Abordagens analíticas à análise de modelos tem sido propostas como um meio de raciocinar sobre questões de usabilidade desde as fases iniciais do desenvolvimento. Estas abordagens socorrem-se de modelos para focarem a análise em aspectos específicos da usabilidade. Neste contexto, a utilização de notações e ferramentas (matematicamente) formais tem sido proposta. Este artigo apresenta uma abordagem integrada à verificação de sistemas interactivos. A análise tanto pode ser realizada apenas tendo em conta o comportamento do artefacto, como permite a integração de um modelo de tarefas por forma a restringir o comportamento do artefacto a um subconjunto adequado de todos os seus possíveis comportamentos. The quality of an interactive system can be measured in terms of its usability. Empirical approaches to usability evaluation attempt to assess the system under real usage conditions. This type of approach can be very expensive. Analytical approaches have been proposed as a means of reasoning about usability issues from early in development. These approaches use models to focus the analysis in specific usuability issues. In this context, the aplication of (mathematically) formal notations and tools has been proposed.This paper presents a formal approach to the analysis of interactive systems. The analysis can be carried out taking into account all possible behaviours of the device, or it can be guided by the tasks the device is supposed to support.
A qualidade dos sistemas interactivos pode ser medida em termos da sua usabilidade. Abordagens empíricas à avaliação procuram avaliar os sistemas sob condições reais de utilização mas, tipicamente, são dispendiosos. Abordagens analíticas à análise de modelos tem sido propostas como um meio de raciocinar sobre questões de usabilidade desde as fases iniciais do desenvolvimento. Estas abordagens socorrem-se de modelos para focarem a análise em aspectos específicos da usabilidade. Neste contexto, a utilização de notações e ferramentas (matematicamente) formais tem sido proposta. Este artigo apresenta uma abordagem integrada à verificação de sistemas interactivos. A análise tanto pode ser realizada apenas tendo em conta o comportamento do artefacto, como permite a integração de um modelo de tarefas por forma a restringir o comportamento do artefacto a um subconjunto adequado de todos os seus possíveis comportamentos. The quality of an interactive system can be measured in terms of its usability. Empirical approaches to usability evaluation attempt to assess the system under real usage conditions. This type of approach can be very expensive. Analytical approaches have been proposed as a means of reasoning about usability issues from early in development. These approaches use models to focus the analysis in specific usuability issues. In this context, the aplication of (mathematically) formal notations and tools has been proposed.This paper presents a formal approach to the analysis of interactive systems. The analysis can be carried out taking into account all possible behaviours of the device, or it can be guided by the tasks the device is supposed to support.
Document Type
Conference Object
Language Portuguese
Language Portuguese
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||