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.

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.

Sistemas de comunicación por imagines para niños autistas en el comienzo de la trayectoria: análisis y re-diseño de un sistema

En la educación especial para autistas el método principal de la comunicación se hace con imágenes que hacen posible la comunicación entre profesores y alumnos. El gran problema de un niño autista es la enfermedad que afecta la comunicación del niño. A partir del analisis del sistema de comunicación vigente - Las cifras del Sistema de Comunicación (PEC) – se detectaron algunas inconsistencias en los símbolos utilizados, como son la falta de informidad y usabilidad visual. Así, este trabajo parte de la propuesta de cambiar, renovando el sistema. Nos proponemos a la creación de un conjunto de símbolos uniforme, coherente y convincente. Una vez que, desde el punto de vista del diseño y la ilustración, consideramos como esencial para la enseñanza del autista un establecimiento de determinada calidad en las imágenes e ilustraciones utilizadas en este universo. La investigación se centrará en el campo de la ilustración y el producto se sentará en el intento de reformular el sistema de comunicaciones implementada hoy en día, con el objetivo principal de hacer la comunicación fácil e inmediata entre los niños autistas, los profesores, padres y amigos. Es decir, buscamos la eficacia de comunicación entre el autista y los que los rodean.

As (re)configurações das demandas ao serviço social no âmbito dos serviços públicos de saúde

Este artigo estuda as demandas impostas ao fazer profissional dos assistentes sociais na esfera pública dos serviços de saúde, a partir da redefinição do papel do Estado nos anos 1990. Inicialmente, discorre sobre o caráter reducionista do Estado à luz da política neoliberal implementada pelo governo brasileiro. Depois, lança um olhar sobre as políticas de saúde nos anos 1980 para explicitar as repercussões nos serviços públicos de saúde nos anos 1990. Por último, delineia as configurações e reconfigurações das demandas dirigidas ao serviço social no âmbito dos serviços públicos de saúde e aponta para a necessidade de uma leitura atenta das determinações sociais, históricas, econômicas, políticas e culturais nas expressões da questão social na saúde e, especialmente, das limitações da intervenção profissional nos processos relacionados ao binômio saúdedoença, uma vez que estão atrelados aos processos societários em nível macro.

Percursos e identidades. A (re)construção da identidade profissional do docente de enfermagem: o olhar dos docentes

RESUMO: Considerando a identidade como um processo dinâmico de interacção social, afastando-nos da ideia de identidades pré-estabelecidas, ancoradas numa visão essencialista e, aproximando-nos de uma identidade profissional que se constrói através de sucessivas interacções, procurámos conhecer a identidade profissional do docente de enfermagem. Convictos de que o estudo da identidade pode oscilar entre um pólo individual e um estrutural, optámos pela dimensão biográfica como eixo estruturante deste trabalho. Efectuaram-se oito biografias a docentes integrados no conceito de perito com uma profissionalidade reflectida. Utilizámos ainda o focus group como método complementar. Constatámos que os actores deste estudo se sentem enfermeiros, embora a sua área de actuação seja a docência. Destacam a integração do ensino de enfermagem no ensino superior como determinante na mudança da sua representação social. Todos estes docentes se incluem nos grupos que apresentam um estatuto da identidade realizado ou outorgado. Das competências que devem estar presentes no docente de enfermagem, salientam-se a comunicação, actualização científica e relação, capazes de promover um ambiente que propicie as aprendizagens significativas, de internacionalização, de investigação, como um modelo de conduta a seguir, que participe na vida da organização e seja capaz de motivar o outro, mas sobretudo que seja um bom enfermeiro. ABSTRACT: Considering identity as a social dynamic integration process, departing from the concept of pre-established identities anchored in an essentialist vision, and approaching a professional identity built trough successive interaction, we aimed to know the professional identity of the nursing teacher. Believing that the identity study may oscillate between an individual and a structural pole, we have chosen the biographic dimension as the structural axis for this assignment. Eight biographies from teachers integrated in the expert with a reflective professional identity have been made. We have also used the focus group as a complementary method. We have seen that the actors of this study feel themselves as nurses although their working area is teaching. They point out the higher teaching of Nursing as a determinant in the change of their social representation. All of these teachers are included in the groups that present an identity status that has been fulfilled or attributed. From the skills that should be present in the nursing teacher, communication, scientific knowledge and relationship are indicated when these are able to provide significant learning, internationalization and research as a behaviour model to be followed regarding the life of the organization and that might incentive others, but above as a way to be a good nurse.

Variation of magnetic properties in sedimentary rocks hosting the Foum Zguid dyke (southern Morocco): Combined effects of re-crystallization and Fe-metasomatism

The effects of dyke intrusion on the magnetic properties of host sedimentary rocks are still poorly understood. Therefore, we have evaluated bulk magnetic parameters of standard palaeomagnetic samples collected along several sections across the sediments hosting the Foum Zguid dyke in southern Morocco. The study has been completed with the evaluation of the magnetic fabric after laboratory application of sequential heating experiments. The present study shows that: (1) close to Fourn Zguid dykes, the variations of the bulk magnetic parameters and of the magnetic fabric is strongly related with re-crystallization and Fe-metasomatism intensity. (2) The thermal experiments on AMS of samples collected farther from the dyke and, thus, less affected by heating during dyke emplacement, indicate that 300-400 degrees C is the minimum experimental temperature necessary to trigger appreciable transformations of the pre-existing magnetic fabrics. For temperatures higher than ca. 580 degrees C, the magnetic fabric transformations are fully realized, with complete transposition of the initial fabric to a fabric similar to that of samples collected close to the dyke. Therefore, measured variations of the magnetic fabric can be used to evaluate re-crystallization temperatures experienced by the host sedimentary rock during dyke emplacement. The distinct magnetic behaviour observed along the cross-sections strongly suggests that samples collected farther from the dyke margins did not experience thermal episodes with temperatures higher than 300 degrees C after dyke emplacement. (3) AMS data shows a gradual variation of the magnetic fabric with distance from the dyke margin, from sub-horizontal K-3 away from the dyke to vertical K3 close to the dyke. Experimental heating shows that heat alone can be responsible for this strong variation. Therefore, such orientation changes should not be unequivocally interpreted as the result of a stress field (resulting from the emplacement of the dyke, for instance). (4) Magnetic studies prove to be a very sensitive tool to assess rock magnetic transformations, thermally and chemically induced by dyke intrusion in hosting sediments.

Os desafios da qualificação profissional pós-secundária não-superior (nível 4) para a inovação empresarial no contexto da União Europeia e dos países da OCDE

A maioria das nações mais desenvolvidas deve, em larga medida, a sua prosperidade à produtividade da sua força de trabalho. Esta produtividade relaciona-se, fundamentalmente, com dois aspectos essenciais. Por um lado, com o nível e adequação das qualificações e competências da população activa, as quais permitem desenvolver o empreendedorismo e criar riqueza e, por outro, com a qualidade e grau de sofisticação dos equipamentos, tecnologias, modelos de organização e sistemas de gestão de que as empresas dispõem. Nesta comunicação, elaborada por convite para apresentação na sessão comemorativa do 20º aniversário da AFTEM, no Porto, após a contextualização das exigências do mercado de trabalho em resultado da inovação empresarial e da emergência das economias baseadas no conhecimento, apresentam-se alguns estudos recentemente concluídos em diversos países e regiões da OCDE, nomeadamente, Austrália, Irlanda, Reino Unido e Escócia – nos quais se foca a necessidade de incrementar o nível de qualificações para responder às necessidades do tecido produtivo por forma a manter a competitividade da indústria e serviços desses países e regiões à escala global; em particular realça-se a importância de se aumentar a percentagem de população activa com nível 4 de qualificação profissional. Aborda-se, ainda, a situação da formação pós secundária não superior em Portugal (nível 4). Conclui-se, formulando algumas recomendações em termos de estratégias e de trabalho futuro com vista a dinamizar as oportunidades de qualificação de nível 4, em estreita articulação com as empresas, como forma de o tecido produtivo nacional dispor de níveis de qualificação de recursos humanos que permitam a mobilidade para novas actividades com maior valor acrescentado e, por esta via, atingir níveis de rentabilidade semelhante à dos restantes estados membros da UE e de outros países da OCDE.

OC/EC ratio observations in Europe: Re-thinking the approach for apportionment between primary and secondary organic carbon

This study explores a large set of OC and EC measurements in PM(10) and PM(2.5) aerosol samples, undertaken with a long term constant analytical methodology, to evaluate the capability of the OC/EC minimum ratio to represent the ratio between the OC and EC aerosol components resulting from fossil fuel combustion (OC(ff)/EC(ff)). The data set covers a wide geographical area in Europe, but with a particular focus upon Portugal, Spain and the United Kingdom, and includes a great variety of sites: urban (background, kerbside and tunnel), industrial, rural and remote. The highest minimum ratios were found in samples from remote and rural sites. Urban background sites have shown spatially and temporally consistent minimum ratios, of around 1.0 for PM(10) and 0.7 for PM(2.5).The consistency of results has suggested that the method could be used as a tool to derive the ratio between OC and EC from fossil fuel combustion and consequently to differentiate OC from primary and secondary sources. To explore this capability, OC and EC measurements were performed in a busy roadway tunnel in central Lisbon. The OC/EC ratio, which reflected the composition of vehicle combustion emissions, was in the range of 03-0.4. Ratios of OC/EC in roadside increment air (roadside minus urban background) in Birmingham, UK also lie within the range 03-0.4. Additional measurements were performed under heavy traffic conditions at two double kerbside sites located in the centre of Lisbon and Madrid. The OC/EC minimum ratios observed at both sites were found to be between those of the tunnel and those of urban background air, suggesting that minimum values commonly obtained for this parameter in open urban atmospheres over-predict the direct emissions of OC(ff) from road transport. Possible reasons for this discrepancy are explored. (C) 2011 Elsevier Ltd. All rights reserved.