Autor(es):
Campos, J. Creissac 
Data: 2003
Identificador Persistente: http://hdl.handle.net/1822/744
Origem: RepositóriUM - Universidade do Minho
Assunto(s): Análise de usabilidade; Métodos formais; Model checking
Detalhes do Documento
Uma abordagem formal à engenharia da usabilidade
Descrição
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.
Tipo de Documento
Documento de conferência
Idioma Português
Idioma Português
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||