Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6620
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Campos, J. Creissac | - |
dc.contributor.author | Sousa, Nuno Miguel Eira de | - |
dc.date.accessioned | 2007-06-15T17:16:53Z | - |
dc.date.available | 2007-06-15T17:16:53Z | - |
dc.date.issued | 2006-10 | - |
dc.identifier.citation | CONFERÊNCIA NACIONAL EM INTERACÇÃO PESSOA-MÁQUINA, 2, Braga, Portugal, 2006 – “Interacção 2006 : actas”. Braga : GPCG, 2006. ISBN 972-98464-7-2. p. 181-190. | eng |
dc.identifier.isbn | 972-98464-7-2 | - |
dc.identifier.uri | https://hdl.handle.net/1822/6620 | - |
dc.description.abstract | No contexto do projecto IVY, tem vindo a ser desenvolvida uma ferramenta de modelação e análise de sistemas interactivos, tendo em vista a detecção de potenciais problemas de usabilidade no início do desenvolvimento de um qualquer sistema interactivo. Quando uma dada propriedade em análise não se verifica, a ferramenta procura indicar um contra-exemplo: um comportamento do modelo que demonstre a falsidade da propriedade em questão. Estes contra-exemplos, no entanto, podem atingir tamanhos consideráveis, dependendo da complexidade do mode- lo, o que dificulta a sua análise. De forma a facilitar essa análise, a arquitectura da ferramenta IVY prevê um componente de suporte à análise. Este componente visa, através de representações visuais e de mecanismos de análise, facilitar a compreensão dos contra exemplos, de forma a tornar mais claro qual o problema que está a ser apontado e possíveis soluções para o mesmo. Este artigo apresenta o componente de análise da ferramenta IVY. São apresentadas a arquitectura do componente, as representações implementadas e os mecanismos de análise disponibilizados. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | eng |
dc.language.iso | eng | eng |
dc.publisher | Grupo Português de Computação Gráfica | eng |
dc.rights | openAccess | eng |
dc.subject | Avaliação de sistemas interactivos | eng |
dc.subject | Ferramentas de análise | eng |
dc.subject | Model cheking | eng |
dc.subject | Representações visuais | eng |
dc.title | IVY trace visualiser | eng |
dc.type | article | eng |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
17_Yvy_jose_campos.pdf | Documento principal | 702,88 kB | Adobe PDF | Ver/Abrir |