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.

Comparison of methods for classification of the coefficient of variation in papaya

ABSTRACT The objective of this work was to study the distribution of values of the coefficient of variation (CV) in the experiments of papaya crop (Carica papaya L.) by proposing ranges to guide researchers in their evaluation for different characters in the field. The data used in this study were obtained by bibliographical review in Brazilian journals, dissertations and thesis. This study considered the following characters: diameter of the stalk, insertion height of the first fruit, plant height, number of fruits per plant, fruit biomass, fruit length, equatorial diameter of the fruit, pulp thickness, fruit firmness, soluble solids and internal cavity diameter, from which, value ranges were obtained for the CV values for each character, based on the methodology proposed by Garcia, Costa and by the standard classification of Pimentel-Gomes. The results obtained in this study indicated that ranges of CV values were different among various characters, presenting a large variation, which justifies the necessity of using specific evaluation range for each character. In addition, the use of classification ranges obtained from methodology of Costa is recommended.

Seasonal variation of total particulate matter and children respiratory diseases at Lisbon primary schools using passive methods

In this work, 14 primary schools of Lisbon city, Portugal, followed a questionnaire of the ISAAC - International Study of Asthma and Allergies in Childhood Program, in 2009/2010. The questionnaire contained questions to identify children with respiratory diseases (wheeze, asthma and rhinitis). Total particulate matter (TPM) was passively collected inside two classrooms of each of 14 primary schools. Two types of filter matrices were used to collect TPM: Millipore (IsoporeTM) polycarbonate and quartz. Three campaigns were selected for the measurement of TPM: Spring, Autumn and Winter. The highest difference between the two types of filters is that the mass of collected particles was higher in quartz filters than in polycarbonate filters, even if their correlation is excellent. The highest TPM depositions occurred between October 2009 and March 2010, when related with rhinitis proportion. Rhinitis was found to be related to TPM when the data were grouped seasonally and averaged for all the schools. For the data of 2006/2007, the seasonal variation was found to be related to outdoor particle deposition (below 10 μm).

Housework, paid work and psychiatric symptoms

OBJECTIVE: To evaluate the hypothesis that work burden, the simultaneous engagement in paid work and unpaid family housework, is a potential risk factor for psychiatric symptoms among women. METHODS: A cross-sectional study was carried out with 460 women randomly selected from a poor area of the city of Salvador, Brazil. Women between 18 to 70 years old, who reported having a paid occupation or were involved in unpaid domestic activities for their families, were eligible. Work burden-related variables were defined as: a) double work shift, i.e., simultaneous engagement in a paid job plus unpaid housework; and b) daily working time. Psychiatric symptoms were collected through a validated questionnaire, the QMPA. RESULTS: Positive, statistically significant associations between high (>7 symptoms) QMPA scores and either double work shift (prevalence ratio -- PR=2.04, 95% confidence interval -- CI: 1.16, 2.29) or more than 10 hours of daily work time (PR=2.29, 95% CI: 1.96, 3.43) were found after adjustment for age, marital status and number of pre-school children. CONCLUSIONS: Major correlates of high QMPA scores are work burden variables. Being married or having pre-school children are also associated with high QMPA scores only when associated with work burden.

Working hours, work-life conflict and health in precarious and "permanent" employment

OBJECTIVE: The expansion of precarious employment in OECD countries has been widely associated with negative health and safety effects. Although many shiftworkers are precariously employed, shiftwork research has concentrated on full-time workers in continuing employment. This paper examines the impact of precarious employment on working hours, work-life conflict and health by comparing casual employees to full-time, "permanent" employees working in the same occupations and workplaces. METHODS: Thirty-nine convergent interviews were conducted in two five-star hotels. The participants included 26 full-time and 13 casual (temporary) employees. They ranged in age from 19 to 61 years and included 17 females and 22 males. Working hours ranged from zero to 73 hours per week. RESULTS: Marked differences emerged between the reports of casual and full-time employees about working hours, work-life conflict and health. Casuals were more likely to work highly irregular hours over which they had little control. Their daily and weekly working hours ranged from very long to very short according to organisational requirements. Long working hours, combined with low predictability and control, produced greater disruption to family and social lives and poorer work-life balance for casuals. Uncoordinated hours across multiple jobs exacerbated these problems in some cases. Health-related issues reported to arise from work-life conflict included sleep disturbance, fatigue and disrupted exercise and dietary regimes. CONCLUSIONS:This study identified significant disadvantages of casual employment. In the same hotels, and doing largely the same jobs, casual employees had less desirable and predictable work schedules, greater work-life conflict and more associated health complaints than "permanent" workers.

Job control, job demands, social support at work and health among adolescent workers

OBJECTIVE: To evaluate physical and psychological dimensions of adolescent labor (such as job demands, job control, and social support in the work environment), and their relation to reported body pain, work injuries, sleep duration and daily working hours. METHODS: A total of 354 adolescents attending evening classes at a public school in São Paulo, Brazil, answered questionnaires regarding their living and working conditions (Karasek's Job Content Questionnaire, 1998), and their health status. Data collection took place in April and May 2001. Multiple logistic regression analysis was used to determine relations among variables. RESULTS: Psychological job demands were related to body pain (OR=3.3), higher risk of work injuries (OR=3.0) and reduced sleep duration in weekdays (Monday to Thursday) (p<0.01). Lower decision authority in the workplace (p=0.03) and higher job security (p=0.02) were related to longer daily working hours. CONCLUSIONS: It was concluded that besides physical stressors, psychological factors are to be taken into account when studying adolescent working conditions, as they may be associated with negative job conditions and health effects.

Health, sleep and lack of time: relations to domestic and paid work in nurses

OBJECTIVE: To assess whether reported morbidity and complaints of lack of time and sleep are associated with the burden of professional work and housework among nurses. METHODS: A cross-sectional exploratory study was carried out among female nurses and nurse assistants (N=206) of a public hospital in Rio de Janeiro, Brazil. Data were collected by means of a questionnaire. The prevalence ratio and 95% confidence intervals were estimated. RESULTS: Mean duration of professional work and housework time was 40.4 and 31.6 hours/week, respectively. Long professional working time (over 44 hours/week) were associated with mild emotional disorders (PR=1.37; 95% CI: 1.05-1.80), complaints of lack of time for resting/leisure (PR=1.61; 95% CI: 1.31-1.97), housework (PR=1.48; 95% CI: 1.12-1.97), and childcare (PR=1.99; 95% CI: 1.51-2.63). Long housework time (over 28 hours/week) was associated with lower prevalence of lack of time for childcare (PR=0.62; 95% CI: 0.46-0.84). High housework load was associated with lack of personal time and complaints of varicose veins (PR=1.31; 95% CI: 1.14-1.50 and PR=1.31; 95% CI: 1.08-1.58, respectively). Complaints of varicose veins were also frequent among female nurses with a total work load above 84 hours (PR=1.30; 95% CI: 1.05-1.61), though this group has shown a lower prevalence of arterial hypertension and recurrent headaches (PR=0.35; 95% CI: 0.15-0.83 and PR=0.53; 95% CI: 0.32-0.89, respectively). CONCLUSIONS: Results suggest that both professional and home environments are relevant in the evaluation of work overload on nurses' health and their family and social life. It is stressed the need for instruments for analyzing total workload among female populations.

Derivative-free optimization and filter methods to solve nonlinear constrained problems

In real optimization problems, usually the analytical expression of the objective function is not known, nor its derivatives, or they are complex. In these cases it becomes essential to use optimization methods where the calculation of the derivatives, or the verification of their existence, is not necessary: the Direct Search Methods or Derivative-free Methods are one solution. When the problem has constraints, penalty functions are often used. Unfortunately the choice of the penalty parameters is, frequently, very difficult, because most strategies for choosing it are heuristics strategies. As an alternative to penalty function appeared the filter methods. A filter algorithm introduces a function that aggregates the constrained violations and constructs a biobjective problem. In this problem the step is accepted if it either reduces the objective function or the constrained violation. This implies that the filter methods are less parameter dependent than a penalty function. In this work, we present a new direct search method, based on simplex methods, for general constrained optimization that combines the features of the simplex method and filter methods. This method does not compute or approximate any derivatives, penalty constants or Lagrange multipliers. The basic idea of simplex filter algorithm is to construct an initial simplex and use the simplex to drive the search. We illustrate the behavior of our algorithm through some examples. The proposed methods were implemented in Java.

Lipid content of frozen fish: comparison of different extraction methods and variability during freezing storage

In this work, a microwave-assisted extraction (MAE) methodology was compared with several conventional extraction methods (Soxhlet, Bligh & Dyer, modified Bligh & Dyer, Folch, modified Folch, Hara & Radin, Roese-Gottlieb) for quantification of total lipid content of three fish species: horse mackerel (Trachurus trachurus), chub mackerel (Scomber japonicus), and sardine (Sardina pilchardus). The influence of species, extraction method and frozen storage time (varying from fresh to 9 months of freezing) on total lipid content was analysed in detail. The efficiencies of methods MAE, Bligh & Dyer, Folch, modified Folch and Hara & Radin were the highest and although they were not statistically different, differences existed in terms of variability, with MAE showing the highest repeatability (CV = 0.034). Roese-Gottlieb, Soxhlet, and modified Bligh & Dyer methods were very poor in terms of efficiency as well as repeatability (CV between 0.13 and 0.18).

Mould and yeast identification in archival settings: preliminary results on the use of traditional methods and molecular biology options in Portuguese archives

This project was developed to fully assess the indoor air quality in archives and libraries from a fungal flora point of view. It uses classical methodologies such as traditional culture media – for the viable fungi – and modern molecular biology protocols, especially relevant to assess the non-viable fraction of the biological contaminants. Denaturing high-performance liquid chromatography (DHPLC) has emerged as an alternative to denaturing gradient gel electrophoresis (DGGE) and has already been applied to the study of a few bacterial communities. We propose the application of DHPLC to the study of fungal colonization on paper-based archive materials. This technology allows for the identification of each component of a mixture of fungi based on their genetic variation. In a highly complex mixture of microbial DNA this method can be used simply to study the population dynamics, and it also allows for sample fraction collection, which can, in many cases, be immediately sequenced, circumventing the need for cloning. Some examples of the methodological application are shown. Also applied is fragment length analysis for the study of mixed Candida samples. Both of these methods can later be applied in various fields, such as clinical and sand sample analysis. So far, the environmental analyses have been extremely useful to determine potentially pathogenic/toxinogenic fungi such as Stachybotrys sp., Aspergillus niger, Aspergillus fumigatus, and Fusarium sp. This work will hopefully lead to more accurate evaluation of environmental conditions for both human health and the preservation of documents.

Clinical and functional aspects of work-related musculoskeletal disorders among active workers

OBJECTIVE: To evaluate musculoskeletal disorders among active industrial workers. METHODS: The study was carried out in São Carlos, Southeastern Brazil, in 2005. One hundred and thirty-four female workers were physically evaluated and answered questions about their physical symptoms, filled out a pain scale and gave responses in the Oswestry Disability Questionnaire, and the Work Ability Index questionnaire. The data were analyzed descriptively, and in correlation tests and through applying logistic regression. The outcome was evaluated in relation to the perceptions of pain, symptoms, physical assessment, ability to work and disability. RESULTS: Clinical evaluations and sick leave presented positive correlations with the subjective variables. The Work Ability Index presented a negative correlation with the physical disability index (r=-0.69). Symptoms reported at the time of the assessment presented a good correlation with the results from the pain scale and the clinical findings. Previous sick leave showed an association with disability (OR=1.13; 95% CI:1.08;1.18). CONCLUSION: Symptom reports and pain scales may be useful for assessing current conditions at the time of evaluating individuals with work-related musculoskeletal disorders, as they are easier to apply. In more severe cases of such injuries, clinical and functional evaluations and questionnaires such as those relating to ability to work and disability are preferable. Precise and specific evaluations of these disorders may contribute towards fairer legal and administrative decisions.

Interactions between physical and psychosocial demands of work associated to low back pain

OBJECTIVE: To examine the interaction between physical and psychosocial demands of work associated to low back pain. METHODS: Cross-sectional study carried out in a stratified proportional random sample of 577 plastic industry workers in the metropolitan area of the city of Salvador, Northeast Brazil in 2002. An anonymous standard questionnaire was administered in the workplace by trained interviewers. Physical demands at work were self-rated on a 6-point numeric scale, with anchors at each end of the scale. Factor analysis was carried out on 11 physical demand variables to identify underlying factors. Psychosocial work demands were measured by demand, control and social support questions. Multivariate analysis was performed using the likelihood ratio test. RESULTS: The factor analysis identified two physical work demand factors: material handling (factor 1) and repetitiveness (factor 2). The multiple logistic regression analysis showed that factor 1 was positively associated with low back pain (OR=2.35, 95% CI 1.50;3.66). No interaction was found between physical and psychosocial work demands but both were independently associated to low back pain. CONCLUSIONS: The study found independent effects of physical and psychosocial work demands on low back pain prevalence and emphasizes the importance of physical demands especially of material handling involving trunk bending forward and trunk rotation regardless of age, gender, and body fitness.

Arrow plot and CA maps on microarray preprocessing methods

Microarray allow to monitoring simultaneously thousands of genes, where the abundance of the transcripts under a same experimental condition at the same time can be quantified. Among various available array technologies, double channel cDNA microarray experiments have arisen in numerous technical protocols associated to genomic studies, which is the focus of this work. Microarray experiments involve many steps and each one can affect the quality of raw data. Background correction and normalization are preprocessing techniques to clean and correct the raw data when undesirable fluctuations arise from technical factors. Several recent studies showed that there is no preprocessing strategy that outperforms others in all circumstances and thus it seems difficult to provide general recommendations. In this work, it is proposed to use exploratory techniques to visualize the effects of preprocessing methods on statistical analysis of cancer two-channel microarray data sets, where the cancer types (classes) are known. For selecting differential expressed genes the arrow plot was used and the graph of profiles resultant from the correspondence analysis for visualizing the results. It was used 6 background methods and 6 normalization methods, performing 36 pre-processing methods and it was analyzed in a published cDNA microarray database (Liver) available at http://genome-www5.stanford.edu/ which microarrays were already classified by cancer type. All statistical analyses were performed using the R statistical software.

Effects of irregular-shift work and physical activity on cardiovascular risk factors in truck drivers

OBJECTIVE: To analyze the putative effect of type of shift and its interaction with leisure-time physical activity on cardiovascular risk factors in truck drivers.METHODS: A cross-sectional study was undertaken on 57 male truck drivers working at a transportation company, of whom 31 worked irregular shifts and 26 worked on the day-shift. Participants recorded their physical activity using the International Physical Activity Questionnaire along with measurements of blood pressure, body mass index and waist-hip ratio. Participants also provided a fasting blood sample for analysis of lipid-related outcomes. Data were analyzed using a factorial model which was covariate-controlled for age, smoking, work demand, control at work and social support.RESULTS: Most of the irregular-shift and day-shift workers worked more than 8 hours per day (67.7% and 73.1%, respectively). The mean duration of experience working the irregular schedule was 15.7 years. Day-shift workers had never engaged in irregular-shift work and had been working as a truck driver for 10.8 years on average. The irregular-shift drivers had lower work demand but less control compared to day-shift drivers (p < 0.05). Moderately-active irregular-shift workers had higher systolic and diastolic arterial pressures (143.7 and 93.2 mmHg, respectively) than moderately-active day-shift workers (116 and 73.3 mmHg, respectively) (p < 0.05) as well as higher total cholesterol concentrations (232.1 and 145 mg/dl, respectively) (p = 0.01). Irrespective of their physical activity, irregular-shift drivers had higher total cholesterol and LDL-cholesterol concentrations (211.8 and 135.7 mg/dl, respectively) than day-shift workers (161.9 and 96.7 mg/dl, respectively (ANCOVA, p < 0.05).CONCLUSIONS: Truck drivers are exposed to cardiovascular risk factors due to the characteristics of the job, such as high work demand, long working hours and time in this profession, regardless of shift type or leisure-time physical activity.

Working in IT projects – Options and Limits of Work Design

Flexible forms of work like project work are gaining importance in industry and services. Looking at the research on project work, the vast majority of present literature is on project management, but increasingly, problems concerning the quality of work and the efficiency of project teams become visible. The question now is how project work can be structured in order to simultaneously provide efficient and flexible work and healthy working conditions ensuring the development of human resources for a long time. Selected results of publicly funded research into project work will be presented based on case studies in 7 software development /IT consulting project teams (N=34). A set of different methods was applied: interviews with management/project managers, group interviews on work constraints, a monthly diary about well-being and critical incidences in the course of the project, and a final evaluation questionnaire on project outcomes focusing on economic and health aspects. Findings reveal that different types of projects exist with varying degree of team members’ autonomy and influence on work structuring. An effect of self-regulation on mental strain could not be found. The results emphasize, that contradicting requirements and insufficient organizational resources with respect to the work requirements lead to an increased work intensity or work obstruction. These contradicting requirements are identified as main drivers for generating stress. Finally, employees with high values on stress for more than 2 months have significantly higher exhaustion rates than those with only one month peaks. Structuring project work and taking into account the dynamics of project work, there is a need for an active role of the project team in contract negotiation or the detailed definition of work – this is not only a question of individual autonomy but of negotiation the range of option for work structuring. Therefore, along with the sequential definition of the (software) product, the working conditions need to be re-defined.