The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

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.

Study on influence of the new CoDeSys V3.0 on the existing CoDeSys discipline of the Mind8 Engineering Center

CoDeSys "Controller Development Systems" is a development environment for programming in the area of automation controllers. It is an open source solution completely in line with the international industrial standard IEC 61131-3. All five programming languages for application programming as defined in IEC 61131-3 are available in the development environment. These features give professionals greater flexibility with regard to programming and allow control engineers have the ability to program for many different applications in the languages in which they feel most comfortable. Over 200 manufacturers of devices from different industrial sectors offer intelligent automation devices with a CoDeSys programming interface. In 2006, version 3 was released with new updates and tools. One of the great innovations of the new version of CoDeSys is object oriented programming. Object oriented programming (OOP) offers great advantages to the user for example when wanting to reuse existing parts of the application or when working on one application with several developers. For this reuse can be prepared a source code with several well known parts and this is automatically generated where necessary in a project, users can improve then the time/cost/quality management. Until now in version 2 it was necessary to have hardware interface called “Eni-Server” to have access to the generated XML code. Another of the novelties of the new version is a tool called Export PLCopenXML. This tool makes it possible to export the open XML code without the need of specific hardware. This type of code has own requisites to be able to comply with the standard described above. With XML code and with the knowledge how it works it is possible to do component-oriented development of machines with modular programming in an easy way. Eplan Engineering Center (EEC) is a software tool developed by Mind8 GmbH & Co. KG that allows configuring and generating automation projects. Therefore it uses modules of PLC code. The EEC already has a library to generate code for CoDeSys version 2. For version 3 and the constant innovation of drivers by manufacturers, it is necessary to implement a new library in this software. Therefore it is important to study the XML export to be then able to design any type of machine. The purpose of this master thesis is to study the new version of the CoDeSys XML taking into account all aspects and impact on the existing CoDeSys V2 models and libraries in the company Harro Höfliger Verpackungsmaschinen GmbH. For achieve this goal a small sample named “Traffic light” in CoDeSys version 2 will be done and then, using the tools of the new version it there will be a project with version 3 and also the EEC implementation for the automatically generated code.

Open-source software in operations research in engineering teaching

ENEGI 2013: Atas do 2º Encontro Nacional de Engenharia e Gestão Industrial, Universidade de Aveiro, 17 e 18 de maio de 2013, Aveiro, Portugal.

188Re-PEI-MP as potential agent for metabolic radiotherapy

Introduction: 188Re is a promising radionuclide for metabolic therapy because of the emission of high energy beta-particles. The development of watersoluble bone-seeking polymers such as PEI-MP (polyethyleneimine, functionalised with methylphosphonate-groups) that might be labeled with 188Re are recent approaches, with a strong potential for bone cancer treatment. The aim of this study was to evaluate the efficacy of 188Re-PEI-MP, as therapeutic agent for osteosarcoma, through in vitro and in vivo models.

Risk factors for metabolic bone disease in Crohn's disease patients

Background: The aim was to evaluate the presence of metabolic bone disease (MBD) in patients with Crohn’s disease (CD) and to identify potential etiologic factors. Methods: The case–control study included 99 patients with CD and 56 controls with a similar age and gender distribution. Both groups had dual-energy x-ray absorptionmetry and a nutritional evaluation. Single nucleotide polymorphisms at the IL1, TNF-a, LTa, and IL-6 genes were analyzed in patients only. Statistical analysis was performed using SPSS software. Results: The prevalence of MBD was significantly higher in patients (P ¼ 0.006). CD patients with osteoporosis were older (P < 0.005), small bowel involvement and surgical resections were more frequent (P < 0.005), they more often exhibited a penetrating or stricturing phenotype (P < 0.05), duration of disease over 15 years (P < 0.005), and body mass index (BMI) under 18.5 kg/m2 (P < 0.01) were more often found. No association was found with steroid use. Patients with a Z-score < 2.0 more frequently had chronic active disease (P < 0.05). With regard to diet, low vitamin K intake was more frequent (P ¼ 0.03) and intake of total, monounsaturated, and polyunsaturated fat was higher in patients with Z-score < 2.0 (P < 0.05). With respect to genetics, carriage of the polymorphic allele for LTa252 A/G was associated with a higher risk of osteoporosis (P ¼ 0.02). Regression analysis showed that age over 40 years, chronic active disease, and previous colonic resections were independently associated with the risk of developing MBD. Conclusions: The prevalence of MBD was significantly higher in CD patients. Besides the usual risk factors, we observed that factors related to chronic active and long-lasting disease increased the risk of MBD.

Metabolic changes associated with antiretroviral therapy in HIV-positive patients

OBJECTIVE: To evaluate metabolic changes associated with highly active antiretroviral therapy (HAART) in HIV-positive patients, and to identify risk factors associated. METHODS: Retrospective study that included 110 HIV-positive patients who where on HAART in the city of Porto Alegre (Southern Brazil) between January 2003 and March 2004. Data on demographic variables, cigarette smoking, diabetes mellitus, cholesterol and triglyceride levels, stage of HIV infection, antiretroviral therapy and HCV coinfection were collected. General linear models procedure for repeated measures was used to test the interaction between HAART and HCV coinfection or protease inhibitor treatment. RESULTS: Total cholesterol, triglycerides, and glucose levels significantly increased after receiving HAART (p<0.001 for all variables), but no interaction with protease inhibitors was seen for total cholesterol, glucose and triglyceride levels (interaction treatment*protease inhibitors p=0.741, p=0.784, and p=0.081, respectively). An association between total cholesterol levels and HCV coinfection was found both at baseline and follow-up (effect of HCV coinfection, p=0.011). Glucose levels were increased by HAART (treatment effect, p=0.036), but the effect was associated to HCV coinfection (treatment*HCV effect, p=0.018). Gender, smoking habit, intravenous drug use and age were not significantly associated with cholesterol, triglyceride and glucose changes. CONCLUSIONS: HCV-infected patients at baseline were significantly less likely to develop hypercholesterolemia. The results provide further evidence of the role of HAART for the development of metabolic disturbances.

A remote virtual experiment in mechanical engineering

Conferência: 2nd Experiment at International Conference (Exp at)- Univ Coimbra, Coimbra, Portugal - Sep 18-20, 2013

Interlimb relation during the double support phase of gait: an electromyographic, mechanical and energy based analysis

The purpose of this study is to analyse the interlimb relation and the influence of mechanical energy on metabolic energy expenditure during gait. In total, 22 subjects were monitored as to electromyographic activity, ground reaction forces and VO2 consumption (metabolic power) during gait. The results demonstrate a moderate negative correlation between the activity of tibialis anterior, biceps femoris and vastus medialis of the trailing limb during the transition between midstance and double support and that of the leading limb during double support for the same muscles, and between these and gastrocnemius medialis and soleus of the trailing limb during double support. Trailing limb soleus during the transition between mid-stance and double support was positively correlated to leading limb tibialis anterior, vastus medialis and biceps femoris during double support. Also, the trailing limb centre of mass mechanical work was strongly influenced by the leading limbs, although only the mechanical power related to forward progression of both limbs was correlated to metabolic power. These findings demonstrate a consistent interlimb relation in terms of electromyographic activity and centre of mass mechanical work, being the relations occurred in the plane of forward progression the more important to gait energy expenditure.

Cardiorespiratory fitness is negatively associated with metabolic risk factors independently of the adherence to a healthy dietary pattern

Background and aim: Cardiorespiratory fitness (CRF) and diet have been involved as significant factors towards the prevention of cardio-metabolic diseases. This study aimed to assess the impact of the combined associations of CRF and adherence to the Southern European Atlantic Diet (SEADiet) on the clustering of metabolic risk factors in adolescents. Methods and Results: A cross-sectional school-based study was conducted on 468 adolescents aged 15-18, from the Azorean Islands, Portugal. We measured fasting glucose, insulin, total cholesterol (TC), HDL-cholesterol, triglycerides, systolic blood pressure, waits circumference and height. HOMA, TC/HDL-C ratio and waist-to-height ratio were calculated. For each of these variables, a Z-score was computed by age and sex. A metabolic risk score (MRS) was constructed by summing the Z scores of all individual risk factors. High risk was considered when the individual had 1SD of this score. CRF was measured with the 20 m-Shuttle-Run- Test. Adherence to SEADiet was assessed with a semi-quantitative food frequency questionnaire. Logistic regression showed that, after adjusting for potential confounders, unfit adolescents with low adherence to SEADiet had the highest odds of having MRS (OR Z 9.4; 95%CI:2.6e33.3) followed by the unfit ones with high adherence to the SEADiet (OR Z 6.6; 95% CI: 1.9e22.5) when compared to those who were fit and had higher adherence to SEADiet.