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.

Real-time 3D interactive segmentation of echocardiographic data through user-based deformation of B-spline explicit active surfaces

Image segmentation is an ubiquitous task in medical image analysis, which is required to estimate morphological or functional properties of given anatomical targets. While automatic processing is highly desirable, image segmentation remains to date a supervised process in daily clinical practice. Indeed, challenging data often requires user interaction to capture the required level of anatomical detail. To optimize the analysis of 3D images, the user should be able to efficiently interact with the result of any segmentation algorithm to correct any possible disagreement. Building on a previously developed real-time 3D segmentation algorithm, we propose in the present work an extension towards an interactive application where user information can be used online to steer the segmentation result. This enables a synergistic collaboration between the operator and the underlying segmentation algorithm, thus contributing to higher segmentation accuracy, while keeping total analysis time competitive. To this end, we formalize the user interaction paradigm using a geometrical approach, where the user input is mapped to a non-cartesian space while this information is used to drive the boundary towards the position provided by the user. Additionally, we propose a shape regularization term which improves the interaction with the segmented surface, thereby making the interactive segmentation process less cumbersome. The resulting algorithm offers competitive performance both in terms of segmentation accuracy, as well as in terms of total analysis time. This contributes to a more efficient use of the existing segmentation tools in daily clinical practice. Furthermore, it compares favorably to state-of-the-art interactive segmentation software based on a 3D livewire-based algorithm.

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.

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

A experiência do livro ilustrado interativo para a infância

O livro ilustrado, nas suas duas linguagens, texto e imagem, é quase sempre apresentado como um estímulo para a criança aprender, falar e ler. Que, apesar de conviverem no mesmo espaço – o livro – nem sempre são tratadas nem trabalhadas da mesma forma. 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. Pretendemos neste artigo apresentar o livro ilustrado e as atividades/ experiências visuais como instrumentos que ajudam a criança a crescer sem frustrações através da educação da vista e do tacto, descobrindo e desenvolvendo capacidades estéticas, emocionais e intelectuais. Dentro do livro ilustrado pretendemos estudar os livros-objeto ou interativos que exploram a linguagem verbal e visual, criando uma narrativa plástica. Livros como os álbuns de Warja Honegger– Lavater onde só se usam símbolos em vez de palavras ou texto; os “Pré-livros” e os “livros ilegíveis” de Bruno Munari; os “livros vazios” e os “livros espaço” de Kveta Pacovská; os livros jogos como o “O cavaleiro coragem!” de Delphine Chedru ou “The book with a hole” de Hervé Tullet. Mas também, jogos/atividades como as criações de Mon Petit Art, Djeco e Mini Labo que permitem explorar a tridimensionalidade e o brincar ao faz de conta; entre outros. Todas estas referências 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.