GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Characterization of verdete rock as a potential source of potassium

Potassium is a nutrient found at low levels in Brazilian soils, requiring large inputs of fertilizers to achieve satisfactory crop yields. Brazil has high external dependence and limited reserves of soluble K mineral, which is traditionally exploited for the production of fertilizers. On the other hand, it is common the occurrence in the country of potassium-rich silicate minerals which are not commercially exploited. This study aimed to characterize mineralogically and chemically samples of verdete rock separated into size fractions and evaluate its potential as potassium fertilizer. The mineral composition of verdete rock is based on glauconite, quartz and feldspar. The total K2O content in verdete rock ranged from 5.18 to 9.0 dag/kg. The K content extracted in water or 2% citric acid was 2.4% below the total of K, indicating low reactivity of verdete rock and limitations for direct use as K source. The processes of physical fractionation and sedimentation in water are inefficient to promote the concentration of K in the different verdete rock fractions. The total K content in some samples are considerable and may enable the use of this rock as raw material for production of more reactive potassium fertilizers.

New source-material for the socio-economic history of the Hindus of Goa

The Mhamai brothers were the suppliers of daily commodities / stationery to the viceroys / governors of Goa. Since late 18th century their agency house worked in partnership with several other trading houses all over the west coast of India. They also served as brokers for the French East India company in Goa during the critical period of anglo-french wars. The Mhamais were also revenue farmers, particularly customs and tobacco tax farming. I had the privilege of taking their family archives to the Xavier Centre of Historical Research in 1979 and making the history of the family known worldwide.

Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 3 - On the interaction of vector species and parasite strain in the reaction of bugs to infection by Trypanosoma cruzi

The reaction of nine vector species of Chagas' disease to infection by seven different Trypanosoma cruzi strains; Berenice, Y, FL, CL, S. Felipe, Colombiana and Gávea, are examined and compared. On the basis of the insects' ability to establish and maintain the infection, vector species could be divided into two distinct groups which differ in their reaction to an acute infection by T. cruzi. While the proportion of positive bugs was found to be low in Triatoma infestans and Triatoma dimidiata it was high, ranging from 96.9% to 100% in the group of wild (Rhodnius neglectus, Triatoma rubrovaria)and essentially sylvatic vectors in process of adaptation to human dwellings, maintained under control following successful insecticidal elimination of Triatoma infestans (Panstrongylus megistus, Triatoma sordida and Triatoma pseudomaculata). An intermediate position is held by Triatoma brasiliensis and Rhodnius prolixus. This latter has been found to interchange between domestic and sylvatic environments. The most important finding is the strikingly good reaction between each species of the sylvatic bugs and practically all T. cruzi strains herein studied, thus indicating that the factors responsible for the excellent reaction of P.megistus to infection by Y strain, as previously reported also come into operation in the reaction of the same vector species to acute infections by five of the remaining T.cruzi strains. Comparison or data reported by other investigators with those herein described form the basis of the discussion of Dipetalogaster maximus as regards its superiority as a xenodiagnostic agent.

Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 4 - The reflection of parasite stock in the responsiveness of different vector species to chronic infection with different Trypanosoma cruzi stocks

Previous studies (1982,1987) have emphasized the superiority of sylvatic vector species over domestic species as xenodiagnostic agents in testing hosts with acute or chronic infections by T. cruzi "Y" stock. The present study, which is unique in that it contains data on both infectivity rates produced by the same stock in 11 different vector species and also the reaction of the same vector species to seven different parasite stocks, establishes the general validity of linking efficiency of xenodiagnosis to the biotope of its agent. For example, infectivity rates produced by "São Felipe" stock varied from 82.5% to 98.3% in sylvatic vectors but decreased to 42.5% to 71.3% in domestic species. "Colombiana" stock produced in the same sylvatic vectors infectivity rates ranging from 12.5% to 45%. These shrank to 5%-22.5% in domestic bugs. The functional role of the biotope in the vector-parasite interaction has not been eluddated. But since this phenomenon has been observed to be stable and easy to reproduce, it leads us to believe that the results obtained are valid. Data presented also provide increasing evidence that the infectivity rates exhibited by bugs from xenodiagnosis in chronic hosts, are parasite stock specific. For example, infectivity rates produced by "Berenice", "Y", "FL" and "CL" varied in R. neglectus from 26.3% to 75%; in P. megistus from 56.3% to 83.8%; in T. sordida from 28.8% to 58.8% in T. pseudomaculata from 41.3% to 66.3% and in T. rubrovaria from 48.8% to 85%. Data from xenodiagnosis in the same hosts, carrying acute infections by the same parasite stocks, gave the five sylvatic vectors a positive rating of approximately 100%, thus suggesting that the heavy loads of parasites circulating in the acute hosts obscured the characteristic interspecific differences for the parasite stock. Nonetheless these latter were revealed in the same hosts with chronic infections stimulated by very low numbers of the same parasite stocks. Certain observations here described lead us to speculate as to the possibility of further results from other parasite stocks, allowing the association of the infectivity rates produced in bugs by different parasite stocks with the isoenzymic patterns revealed by these stocks.

BAM framework for OMS using open source technologies

No início da década de 90, as empresas começaram a sentir a necessidade de melhorar o acesso à informação das suas actividades para auxiliar na tomada de decisões. Desta forma, no mundo da informática, emergiu o sector Business Intelligence (BI) composto inicialmente por data warehousing e ferramentas de geração de relatórios. Ao longo dos anos o conceito de BI evoluiu de acordo com as necessidades empresariais, tornando a análise das actividades e do desempenho das organizações em aspectos críticos na gestão das mesmas. A área de BI abrange diversos sectores, sendo o de geração de relatórios e o de análise de dados aqueles que melhor preenchem os requisitos pretendidos no controlo de acesso à informação do negócio e respectivos processos. Actualmente o tempo e a informação são vantagens competitivas e por esse mesmo motivo as empresas estão cada vez mais preocupadas com o facto de o aumento do volume de informação estar a tornar-se insustentável na medida que o tempo necessário para processar a informação é cada vez maior. Por esta razão muitas empresas de software, tais como Microsoft, IBM e Oracle estão numa luta por um lugar neste mercado de BI em expansão. Para que as empresas possam ser competitivas, a sua capacidade de previsão e resposta às necessidades de mercado em tempo real é requisito principal, em detrimento da existência apenas de uma reacção a uma necessidade que peca por tardia. Os produtos de BI têm fama de trabalharem apenas com dados históricos armazenados, o que faz com que as empresas não se possam basear nessas soluções quando o requisito de alguns negócios é de tempo quase real. A latência introduzida por um data warehouse é demasiada para que o desempenho seja aceitável. Desta forma, surge a tecnologia Business Activity Monitoring (BAM) que fornece análise de dados e alertas em tempo quase real sobre os processos do negócio, utilizando fontes de dados como Web Services, filas de mensagens, etc. O conceito de BAM surgiu em Julho de 2001 pela organização Gartner, sendo uma extensão orientada a eventos da área de BI. O BAM define-se pelo acesso em tempo real aos indicadores de desempenho de negócios com o intuito de aumentar a velocidade e eficácia dos processos de negócio. As soluções BAM estão a tornar-se cada vez mais comuns e sofisticadas.

A case-control study on the association of hepatitis B virus infection and hepatocellular carcinoma in Northeast Brazil

Hepatitis B virus (HBV) serological markers were investigated in 40 incident cases of hepatocellular carcinoma (HCC) and in two age and sex matched control groups, comprising 40 patients with other cancers and 80 healthy individuals, resident in Bahia, Brazil. Serologic tests were done by radioimmunoassay. The study observed high proportion of seropositivity to HBsAg (42.5%) and of those presenting HBsAg or antiHBc (65.0%) among HCC cases, higher in men than women and in those aged 17 to 30 years old. HBsAg seropositivity among HCC patients was greater than in the control group with other cancers (7.5%) and in healthy controls (2.5%), corresponding to odds ratio estimates of 15.0 (95% CI 3.29, 68.30) and 33.0 (95% CI 9.13, 119.28), both statistically significant. HBeAg was not observed and antiHBe was present in 41.2% of cases, suggesting the absence of viral replication, possibly with viral DNA intergration into the hepatocyte genome. The presence of cirrhosis was associated with HBsAg seropositivity among HCC cases. A history of chronic alcoholism is shown to be more frequently related to those cases with cirrhosis. This study highlights the relevant association between HCC and HBV in Northeast Brazil, particularly for young individuals, and the high risk of development of HCC for HBsAg carriers.

Human case of gastric infection by a fourth larval stage of Pseudoterranova decipiens (Nematoda, Anisakidae)

Only three cases of human infection by anisakid nematodes have been reported in Chile since 1976. In the present case, an anisakid worm, identified as a fourth-stage Pseudoterranova decipiens larva, was removed with a gastroendoscopic biopsy clipper from the stomach of a 45 year-old man from southern Chile. The patient, who presented acute epigastric pain and a continuous sensation of having an empty stomach, reported having eaten smoked fish. The worm was fixed in 70% ethanol and cleaned in lactophenol for morphological study. The morphometric characteristics of the worm are described and drawn. Anisakid larvae in fish flesh can be killed by freezing or cooking.

HIV/tuberculosis co-infection: a request for a better surveillance

The increasing endemicity of tuberculosis resulting from causes such as immigration, poverty, a declining public health infrastructure and co-infection by HIV/Mycobacterium tuberculosis, is leading to a change in tuberculosis control programmes. One of the main reasons for the resurgence of tuberculosis is HIV infection - the risk of tuberculosis is greater in HIV patients than in the majority of the population as can be seen from numerous research projects. The need for systematic testing for HIV infection in all tuberculosis patients by undertaking confidential HIV tests on admission to a tuberculosis programme is brought out. This measure would increase the number of cases diagnosed and provide data for better surveillance of the co-infection.

Susceptibility of asthmatic children to respiratory infection

OBJECTIVE: A case-control study of patients with pneumonia was conducted to investigate whether wheezing diseases could be a risk factor. METHODS: A random sample was taken from a general university hospital in S. Paulo City between March and August 1994 comprising 51 cases of pneumonia paired by age and sex to 51 non-respiratory controls and 51 healthy controls. Data collection was carried out by two senior paediatricians. Diagnoses of pneumonia and presence of wheezing disease were independently established by each paediatrician for both cases and controls. Pneumonia was radiologically confirmed and repeatability of information on wheezing diseases was measured. Logistic regression analysis was used to identify risk factors. RESULTS: Wheezing diseases, interpreted as proxies of asthma, were found to be an important risk factor for pneumonia with an odds ratio of 7.07 (95%CI= 2.34-21.36), when the effects of bedroom crowding (odds ratio = 1.49 per person, 95%CI= 0.95-2.32) and of low family income (odds ratio = 5.59 against high family income, 95%CI= 1.38-22.63) were controlled. The risk of pneumonia attributable to wheezing diseases is tentatively calculated at 51.42%. CONCLUSION: It is concluded that at practice level asthmatics should deserve proper surveillance for infection and that at public health level pneumonia incidence could be reduced if current World Health Organisation's guidelines were reviewed as to include comprehensive care for this illness.

The source of the 1722 Algarve earthquake: evidence from MCS and tsunami data

The 27 December 1722 Algarve earthquake destroyed a large area in southern Portugal generating a local tsunami that inundated the shallow areas of Tavira. It is unclear whether its source was located onshore or offshore and, in any case, what was the tectonic source responsible for the event. We analyze available historical information concerning macroseismicity and the tsunami to discuss the most probable location of the source. We also review available seismotectonic knowledge of the offshore region close to the probable epicenter, selecting a set of four candidate sources. We simulate tsunamis produced by these candidate sources assuming that the sea bottom displacement is caused by a compressive dislocation over a rectangular fault, as given by the half-space homogeneous elastic approach, and we use numerical modeling to study wave propagation and run-up. We conclude that the 27 December 1722 Tavira earthquake and tsunami was probably generated offshore, close to 37 degrees 01'N, 7 degrees 49'W.

Infectivity of cysts of the ME-49 Toxoplasma gondii strain in bovine milk and homemade cheese

OBJECTIVE: Analyze the infectivity and storage resistance of cysts of the ME-49 strain of Toxoplasma gondii in artificially infected bovine milk and homemade fresh cheese. METHODS: Pasteurized bovine milk was infected with 10 cysts/ml of the ME-49 strain of T.gondii and inoculated in different groups of mice, immediately or after storage at 4ºC for 5, 10 and 20 days. Homemade fresh cheese was prepared with artificially infected milk, and also tested in groups of mice, using the same storage process. Infection was identified by the presence of cysts in the brain or serological testing in challenged mice after 5 weeks, confirmed by Western Blot and histology. RESULTS: The infectivity of cysts of the ME-49 strain of T.gondii was maintained in the milk even after storage for 20 days at refrigerator temperatures. Cysts were also able to survive the production process of homemade fresh cheese and storage for a period of 10 days in the same conditions. CONCLUSIONS: These data demonstrated that milk and dairy products could be an important source of T.gondii in human contamination, reinforcing the importance of milk pasteurization before any processing or ingestion.