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.

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.

Sistemas de abastecimento de água e saneamento básico

O presente relatório de estágio enquadra-se no âmbito do Trabalho Final de Mestrado (TFM) do curso de Engenharia Civil, área de especialização de Hidráulica, do Instituto Superior de Engenharia de Lisboa, e baseia-se na temática dos sistemas de abastecimento de água e drenagem de águas residuais. O estágio, intitulado de “Sistemas de Abastecimento de Agua e Saneamento Básico”, decorreu numa empresa de consultaria de engenharia denominada ENGIDRO – Estudos de Engenharia, Lda., vocacionada para a realização de estudos e projectos na área de Hidráulica, com particular incidência na Hidráulica Urbana e Saneamento Básico. O estágio iniciou-se com um adequado enquadramento profissional na empresa e incidiu principalmente no desenvolvimento de trabalhos de concepção e dimensionamento, a nível de projectos de execução, de sistemas de abastecimento de água e de saneamento básico, para 21 localidades da província de Lunda Sul, em Angola, com prestação de serviços para o Governo Provincial de Lunda Sul – Direcção Provincial da Energia e Aguas, juntamente com empresa CENGA – Consultores de Engenharia de Angola, S.A. Na prestação de serviços à entidade contratante foram efectuados trabalhos de campo, que consistiram principalmente em reconhecimentos do terreno, levantamentos topográficos e recolha de informação relevante sobre elementos condicionantes dos projectos (origens e disponibilidades de água, natureza e declive dos terrenos, tipos de infra-estruturas locais) e trabalhos de gabinete para compilação e análise da informação recolhida na elaboração dos projectos de execução, incluindo pecas desenhadas (desenhos pormenorizados) e peças escritas (memórias descritivas e justificativas, medições e orçamentos). Sendo os projectos destinados a aglomerados populacionais pouco desenvolvidos e com carências e condicionantes de diversa ordem (falta de energia eléctrica, de acessos, de telecomunicações, de meios técnicos e materiais, entre outros), prestou-se especial atenção aos aspectos da concepção, privilegiando soluções de baixa tecnologia, mais fáceis de explorar e manter com os recursos locais disponíveis.

Environmental exposure to toxicants mixtures from a multi-purpose estuary: perspectives for a biomonitoring study in Portugal

This work was focused on a multi-purpose estuarine environment (river Sado estuary, SW Portugal) around which a number of activities (e.g., fishing, farming, heavy industry, tourism and recreational activities) coexist with urban centres with a total of about 200 000 inhabitants. Based on previous knowledge of the hazardous chemicals within the ecosystem and their potential toxicity to benthic species, this project intended to evaluate the impact of estuarine contaminants on the human and ecosystem health. An integrative methodology based on epidemiological, analytical and biological data and comprising several lines of evidence, namely, human contamination pathways, human health effects, consumption of local produce, estuarine sediments, wells and soils contamination, effects on commercial benthic organisms, and genotoxic potential of sediments, was used. The epidemiological survey confirmed the occurrence of direct and indirect (through food chain) exposure of the local population to estuarine contaminants. Furthermore, the complex mixture of contaminants (e.g., metals, pesticides, polycyclic aromatic hydrocarbons) trapped in the estuary sediments was toxic to human liver cells exposed in vitro, causing cell death, oxidative stress and genotoxic effects that might constitute a risk factor for the development of chronic-degenerative diseases, on the long term. Finally, the integration of data from several endpoints indicated that the estuary is moderately impacted by toxicants that affect also the aquatic biota. Nevertheless, the human health risk can only be correctly assessed through a biomonitoring study including the quantification of contaminants (or metabolites) in biological fluids as well as biomarkers of early biological effects (e.g., biochemical, genetic and omics-based endpoints) and genetic susceptibility in the target population. Data should be supported by a detailed survey to assess the impact of the contaminated seafood and local farm products consumption on human health and, particularly, on metabolic diseases or cancer development.

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

Light pollution and energy efficiency: a case study of the village of Vialonga

Since industrialization and the formation of larger urban centers in the nineteenth century, pollution of the environment was always present in daily life in various ways, namely in the form of light. Light pollution can cause various consequences, both for humans and for their ecosystem, producing effects on environmental, social, economic and scientific level. In Portugal, the lighting is responsible for 3% of total electricity consumption, energy costs are in some cases more than 50% towards the costs incurred by municipalities with energy, checking-in recent years a trend similar to that improvement of illumination levels in the region (about 4 to 5% per year). Proper use of lighting brings many benefits both to the citizen and environment, since greater energy efficiency can contribute to reducing CO2 emissions, energy costs, as well as to decrease the use of resources not-renewable and/or contamination of renewable resources, which can occurs in the process of obtaining electricity. The present study has a main goal to analyze the illuminance levels associated to the public lighting of the village of Vialonga, Vila Franca de Xira (Portugal), to verify if it is efficient. The aim is also to relate the efficiency of street lighting with the existence of light pollution.

Acompanhamento de uma empreitada de remodelação e reconversão de um edifício em Lisboa

Este Trabalho Final de Mestrado consiste num estágio que se encontra reportado neste relatório e que traduz o acompanhamento por parte do discente de uma empreitada de remodelação e reconversão de um edifício em Lisboa. O estágio com duração de seis meses desenvolveu-se entre Fevereiro e Julho de 2012 na empresa Arlindo Correia e Filhos, SA. Consistiu no acompanhamento da obra das futuras instalações da ASAE (Autoridade de Segurança Alimentar e Económica) na freguesia de São Mamede, concelho de Lisboa, sendo o orientador do estágio por parte da empresa, o Eng.º Vítor Soares, Director de Produção em causa. Os objectivos do estágio curricular visam a consolidação das matérias e temas abordados na vertente académica, assim como o contacto com a realidade do mundo laboral. A integração na empresa Arlindo Correia e Filhos SA e o acompanhamento regular das frentes de trabalho e de questões relacionadas com a obra, contribuíram de forma decisiva para cumprir com sucesso esta missão.

Planeamento espacial marinho das áreas marinhas protegidas: o caso de estudo da ára protegida de gestão de recursos: Caloura - ilhéu de Vila Franca do Campo

Tese de Doutoramento, Ciências do Mar (Ecologia Marinha), 26 de Novembro de 2013, Universidade dos Açores.

Educação para o Desenvolvimento Sustentável (EDS) no âmbito do Currículo Regional da Educação Básica da Região Autónoma dos Açores (CREB)

Mestrado, Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, 26 de Junho de 2013, Universidade dos Açores (Relatório de Estágio).

Diversidade de briófitos e alterações climáticas nos Açores: olhar para o futuro para delinear o presente

Jornadas "Ciência nos Açores – que futuro? Tema Ciências Naturais e Ambiente", Ponta Delgada, 7-8 de Junho de 2013.

Temporal variation in reproductive phenology of Patella spp.: past and present.

World Congress of Malacology, Universidade dos Açores, Ponta Delgada, 21-28 de julho.

Modelização de distribuição de cetáceos: comparando conjuntos de dados e criando mapas realistas de distribuição

Jornadas "Ciência nos Açores - que futuro?", Biblioteca Pública e Arquivo Regional de Ponta Delgada, Largo do Colégio, Ponta Delgada, 7-8 de junho.

Mapping multi-species habitat use for marine conservation planning

Tese de Doutoramento, Ciências do Mar (Biologia Marinha)

A comparação da qualidade dos momentos de interação em jogo livre entre mãe/ filho - pai /filho e mãe/criança – técnica/criança entre os 13 e 15 meses de idade

Dissertação apresentada para obtenção do grau de Mestre em Ciências da Educação Área de especialização em Intervenção Precoce