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.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, 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 engineering abstract GUI models directly from the Java/Swing code.

The host-tourist interaction in a world heritage site: the case of Guimarães

Guimarães, in the northwest of Portugal, is a city of strong symbolic and cultural significance and its nomination by UNESCO as world heritage, in 2001, enlarged its tourism potential. In this paper we present a few results of a survey that envisaged capturing the Guimarães residents’ perceptions of tourism impacts and their attitudes towards tourists. Specifically, one analyzes the type of relationship that exists between some socio-demographic groups and the perceived tourism impacts, as well as their socio-characteristics and the existing level of interaction between residents and tourists. The survey was implemented between January and March 2010 to a convenience sample of 540 inhabitants of the municipality of Guimarães resulting in 400 questionnaires with complete data. For this, we made use of various statistical techniques. Using a factorial analysis, we can conclude that the three factors used explain 52.3% of the variance contained in the original variables obtained from the survey. By another side, using a logit model in the analysis and taking as the dependent variable the frequent or very frequent contact with tourists, we found that only the variables referred to perceived positive impacts of tourism, education and the place of residence in urban areas have shown to be statistically significant. We are aware of the multiple ways the issue of residents’ perceptions and attitudes towards tourism can be approached and of the difficulties to get useful policy-oriented insights. This paper is a step in that trail.

Does gender affect visiting a world heritage site?

The city of Guimarães in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimarães as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimarães. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.

How does gender affect visiting a world heritage site?: the case study of Guimarães

To date few studies have been undertaken in Portugal dealing with the attitudes, motivations, and profile of tourists who visit World Heritage Sites. Also, few studies have dealt with destination image (e.g., Agapito, Mendes & Valle, 2010; Lopes, 2011). As far as it is known, none have approached the issue of gender differences in the choice of a Portuguese heritage destination. Since cultural tourism destinations need to differentiate themselves from each other, appropriate market segmentation must be based on a deep understanding of the customers’ motivations and preferences. Keeping in mind results from empirical literature (e.g., Silberberg, 1995; Beerli & Martin, 2004; Richards, 2004; Pérez, 2009; Sheng, Shen, & Chen, 2008), gender seems to be a possible approach to market segmentation, whether for Guimarães or for other cultural tourism destinations around the world. Located in the north-western region of Portugal, Guimarães is a city of strong symbolic and cultural significance, and the nomination of its historical centre as a World Heritage Site in 2001 enhanced its tourism potential. This study analyses the possible relation between gender and attitudes and motivations towards a World Heritage Site, such as Guimarães. Additionally, the empirical approach used in the study tries to capture differences in the perceived attributes of the city. Commonalities and distinctions within and between groups of tourists, by focusing on the specific characteristic of gender, were analysed. The study addressed two main questions: first, whether males and females have similar or different preferences in choosing the city as their destination; and, second, whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences.

Does Gender Affect Visiting a World Heritage Site?

The city of Guimar˜aes in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimar˜aes as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimar˜aes. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimar˜aes. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.

Use of performance information by local politicians: a field study in the Portuguese context.

This paper seeks to investigate the use of performance information by politicians and whether the institutional reforms on performance management (PM) have been operationalized by local politicians. Differences on the policy field and the organizational context have been analyzed. Our goal is contribute to knowledge on PM in the political sphere and understand the different responses of politicians to government change initiatives (mainly coercive pressures). Our findings show that local politicians support the notion that greater attention should be devoted to the use of performance information on the evaluation process. Nevertheless they are very skeptic in relation to effective execution of government reforms. There is an internal culture where agencies are embedded, strongly influenced by the high degree of politicisation among senior managers, that lead politicians to be more concerned about personal opinions and informal performance information rather than to use more sophisticated information (output and outcome measures). The institutional approach helps us to identify political responses to institutional pressures and understand the reasons for a reduced use in the Portuguese context.

Assessment of Laparoscopic Skills Performance: 2D Versus 3D Vision and Classic Instrument Versus New Hand-Held Robotic Device for Laparoscopy

Introduction and Objectives. Laparoscopic surgery has undeniable advantages, such as reduced postoperative pain, smaller incisions, and faster recovery. However, to improve surgeons’ performance, ergonomic adaptations of the laparoscopic instruments and introduction of robotic technology are needed. The aim of this study was to ascertain the influence of a new hand-held robotic device for laparoscopy (HHRDL) and 3D vision on laparoscopic skills performance of 2 different groups, naïve and expert. Materials and Methods. Each participant performed 3 laparoscopic tasks—Peg transfer, Wire chaser, Knot—in 4 different ways. With random sequencing we assigned the execution order of the tasks based on the first type of visualization and laparoscopic instrument. Time to complete each laparoscopic task was recorded and analyzed with one-way analysis of variance. Results. Eleven experts and 15 naïve participants were included. Three-dimensional video helps the naïve group to get better performance in Peg transfer, Wire chaser 2 hands, and Knot; the new device improved the execution of all laparoscopic tasks (P < .05). For expert group, the 3D video system benefited them in Peg transfer and Wire chaser 1 hand, and the robotic device in Peg transfer, Wire chaser 1 hand, and Wire chaser 2 hands (P < .05). Conclusion. The HHRDL helps the execution of difficult laparoscopic tasks, such as Knot, in the naïve group. Three-dimensional vision makes the laparoscopic performance of the participants without laparoscopic experience easier, unlike those with experience in laparoscopic procedures.

O planejamento econômico no Brasil: considerações críticas

In the past thirty years, a series of plans have been developed by successive Brazilian governments in a continuing effort to maximize the nation's resources for economic and social growth. This planning history has been quantitatively rich but qualitatively poor. The disjunction has stimulated Professor Mello e Souza to address himself to the problem of national planning and to offer some criticisms of Brazilian planning experience. Though political instability has obviously been a factor promoting discontinuity, his criticisms are aimed at the attitudes and strategic concepts which have sought to link planning to national goals and administration. He criticizes the fascination with techniques and plans to the exclusion of proper diagnosis of the socio-political reality, developing instruments to coordinate and carry out objectives, and creating an administrative structure centralized enough to make national decisions and decentralized enough to perform on the basis of those decisions. Thus, fixed, quantified objectives abound while the problem of functioning mechanisms for the coordinated, rational use of resources has been left unattended. Although his interest and criticism are focused on the process and experience of national planning, he recognized variation in the level and results of Brazilian planning. National plans have failed due to faulty conception of the function of planning. Sectorial plans, save in the sector of the petroleum industry under government responsibility, ha e not succeeded in overcoming the problems of formulation and execution thereby repeating old technical errors. Planning for the private sector has a somewhat brighter history due to the use of Grupos Executivos which has enabled the planning process to transcend the formalism and tradition-bound attitudes of the regular bureaucracy. Regional planning offers two relatively successful experiences, Sudene and the strategy of the regionally oriented autarchy. Thus, planning history in Brazil is not entirely black but a certain shade of grey. The major part of the article, however, is devoted to a descriptive analysis of the national planning experience. The plans included in this analysis are: The Works and Equipment Plan (POE); The Health, Food, Transportation and Energy Plan (Salte); The Program of Goals; The Trienal Plan of Economic and Social Development; and the Plan of Governmental Economic Action (Paeg). Using these five plans for his historical experience the author sets out a series of errors of formulation and execution by which he analyzes that experience. With respect to formulation, he speaks of a lack of elaboration of programs and projects, of coordination among diverse goals, and of provision of qualified staff and techniques. He mentions the absence of the definition of resources necessary to the financing of the plan and the inadequate quantification of sectorial and national goals due to the lack of reliable statistical information. Finally, he notes the failure to coordinate the annual budget with the multi-year plans. He sees the problems of execution as beginning in the absence of coordination between the various sectors of the public administration, the failure to develop an operative system of decentralization, the absence of any system of financial and fiscal control over execution, the difficulties imposed by the system of public accounting, and the absence of an adequate program of allocation for the liberation of resources. He ends by pointing to the failure to develop and use an integrated system of political economic tools in a mode compatible with the objective of the plans. The body of the article analyzes national planning experience in Brazil using these lists of errors as rough model of criticism. Several conclusions emerge from this analysis with regard to planning in Brazil and in developing countries, in general. Plans have generally been of little avail in Brazil because of the lack of a continuous, bureaucratized (in the Weberian sense) planning organization set in an instrumentally suitable administrative structure and based on thorough diagnoses of socio-economic conditions and problems. Plans have become the justification for planning. Planning has come to be conceived as a rational method of orienting the process of decisions through the establishment of a precise and quantified relation between means and ends. But this conception has led to a planning history rimmed with frustration, and failure, because of its rigidity in the face of flexible and changing reality. Rather, he suggests a conception of planning which understands it "as a rational process of formulating decisions about the policy, economy, and society whose only demand is that of managing the instrumentarium in a harmonious and integrated form in order to reach explicit, but not quantified ends". He calls this "planning without plans": the establishment of broad-scale tendencies through diagnosis whose implementation is carried out through an adjustable, coherent instrumentarium of political-economic tools. Administration according to a plan of multiple, integrated goals is a sound procedure if the nation's administrative machinery contains the technical development needed to control the multiple variables linked to any situation of socio-economic change. Brazil does not possess this level of refinement and any strategy of planning relevant to its problems must recognize this. The reforms which have been attempted fail to make this recognition as is true of the conception of planning informing the Brazilian experience. Therefore, unworkable plans, ill-diagnosed with little or no supportive instrumentarium or flexibility have been Brazil's legacy. This legacy seems likely to continue until the conception of planning comes to live in the reality of Brazil.

Quantifying chaos for ecological stoichiometry

The theory of ecological stoichiometry considers ecological interactions among species with different chemical compositions. Both experimental and theoretical investigations have shown the importance of species composition in the outcome of the population dynamics. A recent study of a theoretical three-species food chain model considering stoichiometry [B. Deng and I. Loladze, Chaos 17, 033108 (2007)] shows that coexistence between two consumers predating on the same prey is possible via chaos. In this work we study the topological and dynamical measures of the chaotic attractors found in such a model under ecological relevant parameters. By using the theory of symbolic dynamics, we first compute the topological entropy associated with unimodal Poincareacute return maps obtained by Deng and Loladze from a dimension reduction. With this measure we numerically prove chaotic competitive coexistence, which is characterized by positive topological entropy and positive Lyapunov exponents, achieved when the first predator reduces its maximum growth rate, as happens at increasing delta(1). However, for higher values of delta(1) the dynamics become again stable due to an asymmetric bubble-like bifurcation scenario. We also show that a decrease in the efficiency of the predator sensitive to prey's quality (increasing parameter zeta) stabilizes the dynamics. Finally, we estimate the fractal dimension of the chaotic attractors for the stoichiometric ecological model.

Development of a penetration test for timber impregnation products for use in old buildings

This paper studies the application of commercial biocides to old maritime pine timber structures (Pinus pinaster Ait.) that have previously been impregnated with other products. A method was developed in the laboratory to be used in situ to determine the impregnation depth achieved by a new generation biocide product applied to timber from an old building. This timber had once been treated with an unknown product difficult to characterize without extensive analysis. The test was initially developed in laboratory conditions and later tested on elements of the roof structure of an 18th century building. In both cases the results were promising and mutually consistent with penetration depths for some treatments reaching 2.0 cm. The application in situ proved the tests viability and simplicity of execution giving a clear indication on the feasibility of possible re-treatments.

Dengue in the South-eastern region of Brazil: historical analysis and epidemiology

The aim of the study is an historical analysis of the work undertaken by the Public Health organizations dedicated to the combat of the Aedes aegypti, as well as an epidemiolocal study of persons with unexplained fever, with a view to evaluating the ocurrence of dengue within the population. The Mac-Elisa, Gac-Elisa, hemaglutination inhibition, isolation and typage tests were used. Organophosphate intoxication in agricultural workers was also assessed by measuring concentrations of serie cholinesterase. A sera samples of 2,094 were collected in 23 towns, and the type 1 dengue virus was detected in 17 towns and autochthony was confirmed in 12 of them. The cholinesterase was measured in 2,391 sera samples of which 53 cases had abnormal levels. Poisoning was confirmed in 3 cases. Results reveal an epidemic the gravity of which was not officially know. The relationshipe between levels of IgM and IgG antibodies indicates the outbreak tendency. The widespread distribution of the vector is troubling because of the possibility of the urbanization of wild yellow fever, whereas the absence of A. aegypti in 2 towns with autochthony suggests the existence of another vector. Since there is no vaccine against dengue, the combat of the vector is the most efficient measure for preventing outbreaks. The eradication of the vector depends on government decisions which depend, for their execution, on the organization of the Health System and the propagation of information concerning the prevention of the disease using all possible means because short and long term results depend on the education and the active participation of the entire population.

Variáveis psicológicas e percepção do estado de saúde em indivíduos submetidos a ressincronização cardíaca

A insuficiência cardíaca afecta cerca de 261 mil pessoas em Portugal constituindo um problema de saúde pública. Pretendemos avaliar aspectos associados à recuperação do estado de saúde nesta síndrome, em particular a esperança, o afecto e a felicidade. Recorremos a um estudo longitudinal com 128 indivíduos sintomáticos com má fracção de ejecção do ventrículo esquerdo. Utilizámos um questionário para caracterizar os aspectos sóciodemográficos, clínicos e funcionais, o Kansas City Cardiomiopathy Questionnaire (KCCQ) para avaliar a qualidade de vida, a Subjective Hapiness Scale (SHS) para a felicidade, a HOPE Scale (HOPE) para a esperança e a Positive And Negative Afect Schedule (PANAS) para o afecto. Os questionários de caracterização sócio-demográfica, clínica e funcional, KCCQ e o SHS foram aplicados em três momentos: no internamento, prévio à instituição de terapêutica médica na sua totalidade e ao terceiro e sexto mês após a intervenção médica, na consulta externa. A maioria dos participantes eram homens em classe III da classificação da New York Heart Association com etiologia isquémica. No internamento e antes da terapêutica médica, observámos que a esperança, a felicidade e o afecto se relacionaram com a qualidade de vida, a felicidade e o afecto positivo com a esperança. No período avaliado foram submetidos a: terapia de ressincronização cardíaca (n=52), cardioversor-desfibrilhador implantável (n=44), cirurgia valvular com revascularização do miocárdio (n=14), optimização terapêutica farmacológica (n=10), transplante cardíaco (n=8). Foram significativos os resultados da qualidade de vida, da classificação da New York Heart Association, do exercício físico, da fracção de ejecção do ventrículo esquerdo e das arritmias cardíacas (estrasístoles e taquicardias ventriculares). A felicidade foi preditora da qualidade de vida e da funcionalidade. O afecto negativo foi preditor da satisfação com a insuficiência cardíaca. Concluímos da importância das variáveis positivas a par dos procedimentos médicos no tratamento das pessoas com insuficiência cardíaca. ABSTRACT - Heart failure affects about 261 000 people in Portugal constituting a public health problem. We intend to evaluate aspects of the health recovery in this syndrome, in particular hope, affection and happiness. We used a longitudinal study with 128 symptomatic patients with poor ejection fraction of left ventricle. We used a questionnaire to characterize the socio-demographic, clinical and functional aspects, the Kansas City Cardiomiopathy Questionnaire (KCCQ) to assess the quality of life, the Subjective Happiness Scale (SHS) for happiness, the HOPE Scale (HOPE) for hope and the Positive And Negative Affect Schedule (PANAS) for affection. The questionnaires of sociodemographic, clinical and functional KCCQ and SHS were applied on three occasions: on admission, prior to the execution of medical therapy in its totality and in the third and sixth months after medical intervention in the outpatient. Most of the participants were men in Class III New York Heart Association classification with ischemic etiology. At admission and before medical therapy, we observed that the hope, happiness and affection were related to the quality of life, happiness and positive affect with hope. Over the studied period were submitted to: cardiac resynchronization therapy (n=52), implantable cardioverter-defibrillator (n=44), valvular surgery with coronary artery bypass graft surgery (n=14), optimizing drug therapy (n=10), heart transplant (n=8). The significant results were the quality of life, the New York Heart Association classification, the exercise, the ejection fraction and left ventricular cardiac arrhythmias (ventricular tachycardia and estrasistoles). Happiness was a predictor of quality of life and functionality. The negative affect was a predictor of satisfaction with heart failure. We concluded that the positive variables and the medical procedures were important in treating people with heart failure.

Gestão integrada de resíduos de construção e demolição: análise de estudo

A actividade de construção civil é responsável por grande parte dos resíduos produzidos, nomeadamente em obras de construção, demolições de edifícios ou derrocadas, operações de manutenção, restauro, remodelação e reabilitação de construções. A gestão dos resíduos deste sector, abreviadamente designada por resíduos de construção e demolição (RCD), passou a estar regulada, através de regime de operações de gestão de RCD. Este diploma, define entre outras, a responsabilidade dos vários intervenientes no processo de gestão de resíduos, fase de projecto, execução, transporte e recepção. Com a evolução das preocupações ambientais da população e maior envolvência das empresas na contribuição para uma gestão integrada de resíduos, existe um crescente desenvolvimento de estudos no âmbito de caracterização de quantidades e tipos de resíduos produzidos pelo sector. Neste contexto, e por ser importante uma economia integrada com a gestão de resíduos, os principais desafios passam pelo planeamento e preparação de Obra desde da fase de projecto à fase de execução, com vista à prevenção, redução, reutilização e valorização dos RCD. O presente trabalho pretende contribuir para este desenvolvimento do sector, mais concretamente na obtenção de indicadores de resíduos de construção (RC), resíduos de demolição (RD) e caracterização da tipologia destes. Para tanto, foi feita uma avaliação dos estudos desenvolvidos no âmbito de caracterização dos tipos de resíduos e indicadores de RC e RD, como método comparativo. Os indicadores deste estudo foram obtidos com base na análise de dados de casos de estudo, no caso concreto RC, de obras de estruturas, e RD de edifícios com execução de demolição selectiva. Na parte final deste estudo apresentam-se algumas conclusões e recomendações.