Show simple item record

dc.contributor.authorGuerreiro, Nunoen_US
dc.contributor.authorMendes, Sandrineen_US
dc.contributor.authorPinheiro, Vítoren_US
dc.contributor.authorCampos, José Creissacen_US
dc.contributor.editorCreissac Campos, José and Gonçalves, Danielen_US
dc.date.accessioned2021-06-18T07:32:44Z
dc.date.available2021-06-18T07:32:44Z
dc.date.issued2021
dc.identifier.isbn978-3-03868-155-7
dc.identifier.urihttps://doi.org/10.2312/pt.20081257
dc.identifier.urihttps://diglib.eg.org:443/handle/10.2312/pt20081257
dc.description.abstractEngineering correct software is one of the grand challenges of computer science. Practical design and verification methodologies to ensure correct software can have a substantial impact on how programs are built by the industry. As human-machine systems become more functional, they also become more complex. Consequently, the interactions between the machine and its users becomes less predictable and more difficult to analyse. Using Model Checking it is possible to automatically analyse the behaviour of a modelled system. Hence, different authors have investigated the applicability of model checking to the analysis of human-machine interactions. The IVY workbench is a tool that supports system design and verification, by providing a model checking based integrated modelling and analysis environment. The tool is based around a plugin architecture, and although it features a verification results' analyser, it thus far lacked the ability to visually expose the sequence of events that lead to a system failure on a system's prototype. We propose the AniMAL plugin as an extension to the IVY workbench, providing automatic user interface prototyping and verification results' animation, while allowing thorough customisation.en_US
dc.publisherThe Eurographics Associationen_US
dc.subjectdialogue analysis tool
dc.subjectuser interface specifications
dc.subjectvisual representations
dc.subjectprototyping
dc.titleAniMAL: A user interface prototyper and animator for MAL interactor modelsen_US
dc.description.seriesinformationInteracção 2008 – Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina
dc.description.sectionheadersConcepção de Interfaces
dc.identifier.doi10.2312/pt.20081257
dc.identifier.pages93-102


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record