A Generic Library for GUI Reasoning and Testing

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 presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

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.

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.

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.