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.

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and C�� code. The prototyping process is fully supported by a specific tool developed in Haskell

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

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.

Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation

The success of dental implant-supported prosthesis is directly linked to the accuracy obtained during implant���s pose estimation (position and orientation). Although traditional impression techniques and recent digital acquisition methods are acceptably accurate, a simultaneously fast, accurate and operator-independent methodology is still lacking. Hereto, an image-based framework is proposed to estimate the patient-specific implant���s pose using cone-beam computed tomography (CBCT) and prior knowledge of implanted model. The pose estimation is accomplished in a threestep approach: (1) a region-of-interest is extracted from the CBCT data using 2 operator-defined points at the implant���s main axis; (2) a simulated CBCT volume of the known implanted model is generated through Feldkamp-Davis-Kress reconstruction and coarsely aligned to the defined axis; and (3) a voxel-based rigid registration is performed to optimally align both patient and simulated CBCT data, extracting the implant���s pose from the optimal transformation. Three experiments were performed to evaluate the framework: (1) an in silico study using 48 implants distributed through 12 tridimensional synthetic mandibular models; (2) an in vitro study using an artificial mandible with 2 dental implants acquired with an i-CAT system; and (3) two clinical case studies. The results shown positional errors of 67��34��m and 108��m, and angular misfits of 0.15��0.08�� and 1.4��, for experiment 1 and 2, respectively. Moreover, in experiment 3, visual assessment of clinical data results shown a coherent alignment of the reference implant. Overall, a novel image-based framework for implants��� pose estimation from CBCT data was proposed, showing accurate results in agreement with dental prosthesis modelling requirements.