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.

Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Residents’ perceptions on impacts of hosting the “Guimarães 2012 European Capital of Culture”: comparisons of the pre-and post-2012 ECOC

Residents tend to have high expectations about the benefits of hosting a mega‐event. So, it was not surprising that the nomination of Guimarães, Portugal, as the 2012 European Capital of Culture (2012 ECOC) had raised great expectations in the local community towards its socio‐economic and cultural benefits. The present research was designed to examine the Guimarães residents’ perceptions on the impacts of hosting the 2012 ECOC approached in two different time schedules, the pre‐ and the post‐event, trying to capture the evolution of the residents` evaluation of its impacts. For getting the data, two surveys were applied to Guimarães` residents, one in the pre‐event phase, in 2011, and another in the post‐event phase, in 2013. This approach is uncommonly applied to Portugal data and it is even the first time it was done to a Portuguese European Capital of Culture. After a factor analysis, the results of t‐tests indicate that there were significant differences (p<0.05) between the samples from the pre‐ and post‐2012 ECOC on two positive impact factors (Community’ benefits and Residents’ benefits) and one negative impact factor (Economic, social and environmental costs). Respondents also showed a negative perception of the impacts in all dimensions, except Changes in habits of Guimarães residents.

Residents’ perceptions on impacts of hosting the “Guimarães 2012 European Capital of Culture”: comparisons of the pre-and post-2012 ECOC

The nomination of Guimarães, a small city located in the northwest of Portugal, as European capital of culture (ECOC) in 2012 raised great expectations in the local community towards its socio-economic and cultural benefits. As noted by various authors, namely Kim and Petrick (2005), Kim, Gursoy and Lee (2006) and Gursoy, Chi, Ai and Chen (2011), residents tend to have high expectations about the benefits of hosting a mega-event, although they tend to recognize that some costs will result from it. Therefore, the present research was designed to examine the Guimarães residents’ perceptions on the impacts of the 2012 European capital of culture (2012 ECOC) on the city and the municipality of Guimarães before and after the mega-event and the differences found between the two time periods.

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

Avaliação do perfil hemodinâmico de válvulas aórticas percutâneas: análise comparativa entre os dois dispositivos disponíveis no mercado - válvula auto-expansível e válvula expansível por balão

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular. Área de especialização: Intervenção Cardiovascular.

Voluntary HIV counseling and testing during prenatal care in Brazil

OBJECTIVE: Voluntary HIV counseling and testing are provided to all Brazilian pregnant women with the purpose of reducing mother-to-child HIV transmission. The purpose of the study was to assess characteristics of HIV testing and identify factors associated with HIV counseling and testing. METHODS: A cross-sectional study was carried out comprising 1,658 mothers living in Porto Alegre, Brazil. Biological, reproductive and social variables were obtained from mothers by means of a standardized questionnaire. Being counseling about HIV testing was the dependent variable. Confidence intervals, chi-square test and hierarchical logistic model were used to determine the association between counseling and maternal variables. RESULTS: Of 1,658 mothers interviewed, 1,603 or 96.7% (95% CI: 95.7-97.5) underwent HIV testing, and 51 or 3.1% (95% CI: 2.3-4.0) were not tested. Four (0.2%) refused to undergo testing after counseling. Of 51 women not tested in this study, 30 had undergone the testing previously. Of 1,603 women tested, 630 or 39.3% (95% CI: 36.9-41.7) received counseling, 947 or 59.2% (95% CI: 56.6-61.5) did not, and 26 (1.6%) did not inform. Low income, lack of prenatal care, late beginning of prenatal care, use of rapid testing, and receiving prenatal in the public sector were variables independently associated with a lower probability of getting counseling about HIV testing. CONCLUSIONS: The study findings confirmed the high rate of prenatal HIV testing in Porto Alegre. However, women coming from less privileged social groups were less likely to receive information and benefit from counseling.

Pre-operative tractography of the facial nerve in vestibular schwannomas: inter-observer agreement with surgical findings

Pre-operative diffusion tensor (DT) tractography is currently employed in our institutions. We use it to predict the course of the facial nerve (FN) in the vicinity of vestibular schwannomas (VS) of the cerebellopontine angle (CPA). In this study we were interested to assess the inter-observer reproducibility of this method. Two Neuroradiologists (PMGP and TT) determined independently the location of the FN by tractography and compared the results with in-vivo findings of microsurgery of VS.

Barriers for HIV testing during pregnancy in Southern Brazil

OBJECTIVE: To assess HIV testing rate and determine risk factors for not have been tested during pregnancy. METHODS: A cross-sectional study was carried out in Porto Alegre, Southern Brazil, from December 2000 to February 2001. Socioeconomic, maternal and healthcare variables were obtained by means of a standardized questionnaire. Crude and adjusted odds ratios and their 95% confidence intervals were obtained in logistic regression models. RESULTS: A total of 1,642 mothers were interviewed. Of them, 94.3% reported being offered HIV testing before or during pregnancy or during labor; 89 mothers (5.4%) were not tested or did not know if they were tested. Attending fewer than six prenatal visits, being single and younger than 18 years old were relevant barriers preventing HIV testing. There was found a relationship between maternal schooling and the category of prenatal care provider. Having low 22.20 (12.43-39.67) or high 3.38 (1.86-7.68). schooling and being cared in the private sector strongly reduced the likelihood of being HIV tested. CONCLUSIONS: The Brazilian Health Ministry's recommendation for universal counseling and HIV testing has been successfully implemented in the public sector. In order to improve HIV testing coverage, new strategies need to target women cared in the private sector especially those of low schooling.

Surgical proven location of the facial nerve in the vicinity of cerebellopontine angle tumours depicted pre-operatively by tractography

Purpose/Introduction: To determine the clinical utility of pre-operative diffusion tensor (DT) tractography of the facial nerve in the vicinity of cerebellopontine angle (CPA) tumours. The location of the facial nerve was established pre-operatively by tractography and compared with in-vivo electrode stimulation during microsurgery of vestibular schwannomas and rare CPA masses (meningiomas and arachnoid cysts).

Influence of the pre-treatments on the properties of biodegradable films from bovine hair

The replacement of conventional synthetic films and coatings by biodegradable alternatives reduces the use of non-renewable resources and waste disposal problems. Considering that Portugal is a major producer of leather, and consequently a large producer of related wastes, in this research, bovine hair was tested for the production of biodegradable films directly by thermo-compression, allowing waste valorisation and reduction of environmental pollution. The aim of this study was to determine the influence of the different pre-treatments performed by two processes (removal by mechanical action and removal by chemical process), applied to bovine hair, in order to obtain a biodegradable film with appropriate properties. Mechanical properties for these films were evaluated, namely strain at break, stress at break and Young modulus. Additionally colour, solubility and swelling in water were also studied. The mechanical removal hair only produced films with Na2S treatment. Chemical removed hair (immunization) depends of the pre-treatment and the degreasing with petroleum ether or sodium sulphide pre-treatment leads better mechanical properties. The results obtained indicated that the pre-treatments have an important role in the final properties of biodegradable films.

Reconfiguração das colunas de separação de xilenos

Mestrado em Engenharia Química. Ramo optimização energética na indústria química

Transformador para fonte de alta-tensão contínua

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial