@booklet {SousaCa:06,
	title = {IVY Trace Visualizer},
	number = {IVY-TR-5-02},
	year = {2006},
	month = {February},
	publisher = {HASLab/INESC TEC \& University of Minho},
	type = {IVY Technical Report},
	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 contraxemplo: 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 modelo, 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_0.pdf},
	author = {N. Sousa and Jos{\'e} Creissac Campos}
}