Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

An approach for graphical user interface bad smells detection

In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next.

O diálogo entre o livro e a criança. Objeto interativo de leitura verbal e visual, exploração e manipulação gráfica e plástica

O uso da imagem, no livro ilustrado, está associado às idades em que a criança ainda não tem domínio da escrita sendo a descodificação e a exploração das imagens as primeiras competências a serem adquiridas. À medida que a criança se familiariza com a leitura verbal e com o desenvolvimento desta competência, a imagem é gradualmente retirada do livro. No âmbito do projeto prático integrado no Mestrado em Ilustração e Animação foi criado um livro para a infância com atividades onde o leitor intervenha tornando-se também autor, concluindo-o e produzindo um objeto único. Propusemo-nos, ainda, apresentar o livro ilustrado e as atividades/ experiências visuais como instrumentos que ajudam a criança a crescer sem frustrações, onde descobrem e desenvolvem capacidades estéticas, emocionais e intelectuais. Dentro do livro ilustrado pretendemos estudar os livros interativos que exploram as duas linguagens, criando uma narrativa plástica e que permitem explorar a tridimensionalidade e o brincar ao faz de conta. Estes são produtos de experiências visuais e tácteis, repletos de estímulos para que a criança seja capaz de explorar e comunicar verbalmente e visualmente, articulando muitas vezes entre o bidimensional com o tridimensional, a regra com o acaso e a forma com a “não forma”, permitindo uma apreciação máxima do objeto.

A Methodology for GUI Layer Redefinition Through Virtualization and Computer Vision

Nowadays despite improvements in usability and intuitiveness users have to adapt to the proposed systems to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, and fulfill system's specifications. This paper proposes an approach to improve this situation enabling graphical user interface redefinition through virtualization and computer vision with the aim of increasing the system's usability. To achieve this goal the approach is based on enriched task models, virtualization and picture-driven computing.

Greguerías - da metáfora literária à metáfora visual

A presente investigação visa a passagem da metáfora literária para a metáfora visual, através do resultado de um trabalho de ilustração, tendo como ponto de partida, as Greguerías de Ramón Gómez de la Serna (1888 - 1963). Reflectindo sobre a interpretação da metáfora, o objectivo passa por criar uma nova selecção de Greguerías ilustradas que também estabeleçam novas metáforas visuais, a partir da sua interacção com a palavra. Mas uma vez independentes, cada ilustração ou cada conjunto de ilustrações, resultem num trabalho de conjunto, enquanto série, como processo criativo e inserido no panorama artístico da ilustração de autor.

Direct communication versus virtual communication in virtual teams

Several studies suggest that computer-mediated communication can lead to decreases in group effectiveness and reduce satisfaction levels in terms of trust and comfort of its users. Supported by an experiment, where the emotional or affective aspects of communication were tested with the experimentation of two architectures, Direct Communication Architecture (DCA) and the Virtual Communication Architecture (VCA) this paper validates the thesis that, from the users’ perspective, there is no opposition to the acceptance of virtual environments and interfaces for communication, and that these environments are able to cope with the reconfiguration dynamics requirements of virtual teams or client-server relations in a virtual enterprise operation.

Avaliação visual da qualidade da estrutura do solo em sistemas de uso das terras

Sistemas sustentáveis de produção agropecuária demandam solos com boa estrutura, por isso, são necessários métodos eficientes para avaliação dessa estrutura. Objetivou-se, com este estudo, aplicar a metodologia de avaliação visual da estrutura do solo, em áreas previamente cobertas por Floresta com Araucária, em longo período de uso após o desmatamento. Selecionaram-se áreas sob três tipos de usos: floresta nativa, pastagem e cultivo agrícola, considerados como tratamento, sendo realizadas dez amostragens por tipo de uso. Nas amostras coletadas, procedeu-se à avaliação da qualidade da estrutura do solo, seguida da análise estatística dos dados, por meio da análise de variância e do teste de separação de médias. Observaram-se diferenças significativas nos valores médios de escore entre as áreas avaliadas. Os solos da área com floresta apresentaram Qe (Qualidade visual) médio = 1.68, estatisticamente semelhante ao dos solos sob pastagem (Qe médio = 2.25) e inferior ao dos solos cultivados, Qe médio = 2.40. Os valores de Qe obtidos por avaliação visual da qualidade da estrutura do solo mostraram-se eficientes para identificar diferenças entre os sistemas de uso do solo.

VISUAL ART AND REGULATORY FIT MESSAGES ON CONSUMER EVALUATIONS

ABSTRACT In this study, we demonstrate that the art infusion effect, in which the presence of visual art causes a positive impact on consumers' perceptions of products and advertising messages, might have a moderation effect on regulatory fit and non-fit messages. We investigate the impact of visual art on advertisement evaluations in regulatory (non-) fit conditions. Regulatory focus theory suggests that consumers rely on their motivational focus (prevention vs. promotion) for their evaluations and decisions. Usually, consumers prefer products that fit with their personal motivational focus. In the present study, the results of three experiments indicate that using visual art with a promotion or prevention fit message is recommended, while non-art images increase message persuasiveness when non-fit messages are presented. Therefore, not all information compatible with the consumer's motivational focus are best evaluated. When non-art images are presented, non-fit messages might be more persuasive.

Cultura visual e exibição artística: O observador emergente

complexificação das tecnologias de consumo, os procedimentos associados à percepção visual tornaram-se o objecto central da própria visão e, consequentemente, colocaram-se no centro da teoria. Num certo sentido, podemos afirmar que uma nova compreensão, quer da luz, quer da temporalidade, se tornou na principal fonte da fenomenologia do século XX e da ontologia das artes visuais. A modernização tecnológica também efectuou uma reavaliação da visão, abrindo caminho para uma nova compreensão da imagem e da percepção visual nas artes tecnológicas contemporâneas. A Estética é, agora, uma disciplina filosófica essencialmente preocupada com a luz e com a percepção. Pode a História da Arte coincidir com uma história da percepção? Nos nossos dias, e depois de um longo período de relação equívoca, o crítico de arte e o investigador académico do domínio artístico estão ligados por uma estranha assimetria cognitiva das suas narrativas: ao mesmo tempo que ambos se encontram no processo de abandonarem critérios próprios de avaliação da debilitada qualidade estética das obras de arte contemporâneas, devem assegurar que o quadro tecnológico que sustenta e dinamiza a arte contemporânea não se transforma em justificação teleológica da tecnologia em si mesma, sustentando o seu devir como sinónimo da arte. De facto, os cultural studies são, cada vez mais, confrontados com a necessidade de conceptualizarem a técnica enquanto elemento chave da cultura.

Robosonic: Randomness-Based Manipulation of Sounds Assisted by Robots

In this text, we intend to explore the possibilities of sound manipulation in a context of augmented reality (AR) through the use of robots. We use the random behaviour of robots in a limited space for the real-time modulation of two sound characteristics: amplitude and frequency. We add the possibility of interaction with these robots, providing the user the opportunity to manipulate the physical interface by placing markers in the action space, which alter the behaviour of the robots and, consequently, the audible result produced. We intend to demonstrate through the agents, programming of random processes and direct manipulation of this application, that it is possible to generate empathy in interaction and obtain specific audible results, which would be difficult to otherwise reproduce due to the infinite loops that the interaction promotes.

A multimédia utilizada em psicologia experimental e as limitações do equipamento informático

A Psicologia Experimental pode obter imensos proveitos da utilização da multimédia: uma maior regularidade na apresentação de estímulos ao sujeito, uma maior diversidade na qualidade dos estímulos a apresentar, uma maior precisão na medição dos tempos de resposta. No entanto, o equipamento informático, apesar de se encontrar em evolução crescente constante, apresenta algumas limitações, nomeadamente, ao nível dos periféricos de interface com o utilizador. O ecrã não é, por omissão, rigoroso na apresentação de estímulos visuais temporizados. O teclado introduz desvios na medição dos tempo de resposta. Este artigo discute formas de obviar estes e outros problemas, de forma a que a Psicologia Experimental possa obter os melhores benefícios da conjugação das suas necessidades com as potencialidades da Multimédia.