@conference {SousaC:06,
	title = {IVY Trace Visualiser},
	booktitle = {Intera{\c c}{\~a}o 2006 - Actas da 2a. Confer{\^e}ncia Nacional em Intera{\c c}{\~a}o Pessoa-M{\'a}quina},
	year = {2006},
	month = {October},
	pages = {181-190},
	publisher = {Grupo Portugu\ês de Computa\ç\ão Gr\áfica},
	organization = {Grupo Portugu\ês de Computa\ç\ão Gr\áfica},
	address = {Braga, Portugal},
	abstract = {<p>No contexto do projecto IVY, tem vindo a ser desenvolvida uma ferramenta de modela{\c c}{\~a}o e an{\'a}lise de sistemas interactivos, tendo em vista a detec{\c c}{\~a}o de potenciais problemas de usabilidade no in{\'\i}cio do desenvolvimento de um qualquer sistema interactivo. Quando uma dada propriedade em an{\'a}lise n{\~a}o se verifica, a ferramenta procura indicar um contra-exemplo: um comportamento do modelo que demonstre a falsidade da propriedade em quest{\~a}o. Estes contra-exemplos, no entanto, podem atingir tamanhos consider{\'a}veis, dependendo da complexidade do mode- lo, o que dificulta a sua an{\'a}lise. De forma a facilitar essa an{\'a}lise, a arquitectura da ferramenta IVY prev{\^e} um componente de suporte {\`a} an{\'a}lise. Este componente visa, atrav{\'e}s de representa{\c c}{\~o}es visuais e de mecanismos de an{\'a}lise, facilitar a compreens{\~a}o dos contra exemplos, de forma a tornar mais claro qual o problema que est{\'a} a ser apontado e poss{\'\i}veis solu{\c c}{\~o}es para o mesmo. Este artigo apresenta o componente de an{\'a}lise da ferramenta IVY. S{\~a}o apresentadas a arquitectura do componente, as representa{\c c}{\~o}es implementadas e os mecanismos de an{\'a}lise disponibilizados.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/17_yvy_jose_campos_1.pdf},
	author = {N. Sousa and Jos{\'e} Creissac Campos},
	editor = {T. Chambel and N. Nunes and T. Rom\&atilde;o and Jos{\'e} Creissac Campos}
}