Portuguese Meeting on Computer Graphics 2008
Permanent URI for this collection
Browse
Browsing Portuguese Meeting on Computer Graphics 2008 by Author "Campos, José Creissac"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item AniMAL: A user interface prototyper and animator for MAL interactor models(The Eurographics Association, 2021) Guerreiro, Nuno; Mendes, Sandrine; Pinheiro, Vítor; Campos, José Creissac; Creissac Campos, José and Gonçalves, DanielEngineering 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.Item Framework de distribuição assíncrona de aplicações móveis situadas(The Eurographics Association, 2021) Borges, Miguel; Campos, José Creissac; Ribeiro, António Nestor; Creissac Campos, José and Gonçalves, DanielAo contrário das aplicações criadas para os computadores de secretária, as aplicações móveis podem tirar partido do facto de acompanharem o dispositivo em que estão a correr para diferentes locais. Estas localizações geográficas são um factor que permite que estas possam reagir e ajustar-se a realidades distintas. O trabalho apresentado neste artigo pretende ser um passo no sentido de aproximar as aplicações aos sítios físicos onde estas correm. é também uma aproximação ao problema da variabilidade dos dispositivos. Consiste numa framework para distribuição de aplicações que irão correr num gestor de aplicações pré-instalado em dispositivos móveis. Este gestor é responsável por actuar sobre a aplicação sempre que determinadas condições reais sejam atingidas. é também responsável por gerir o descarregamento das aplicações a partir das infraestruturas que as disponibilizam. Numa perspectiva qualitativa, e com base numa aplicação de teste desenvolvida, a framework revela-se adequada `a distribuição de aplicações em ambientes móveis.