GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

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.

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Chilling requirement for seed germination and phenological observations on peach cultivars

In subtropical climate areas, the models and methods proposed to evaluate the chilling requirement of temperate fruit crops often do not provide satisfactory results, thus calling for the development of alternative techniques. The aim of this study was to evaluate the correlations between some phonological traits and chilling requirement for seed germination of 18 peach cultivars and one nectarine cultivar. Two experiments were installed separately for the correlation studies. In experiment 1, the phenological traits were observed in the field, while in experiment 2, the chilling requirement for 50 and 100% seed germination of each cultivar was assessed. The number of days for beginning of bloom (r = 0.70**, 0.61**) and full bloom (r = 0.72**, 0.76**) were both significantly correlated with the number of chilling units for 50% and 100% germination of seeds. The number of days for beginning of budding and dormancy break were both significantly correlated with the number of chilling units for 50% and 100% germination (r = 0.48*, 0.50*, respectively). However, the same significant effect for these phenological traits was not found between chilling units and 50% germination of seeds, as well as between chilling units and harvest dates.

Capital Intelectual: sua divulgação no setor bancário em Portugal

The importance of intangible resources has increased dramatically in recent years comparing to tangible ones. The economy in which we live is the result of competitive pressures that have imposed the implementation of business at an international level as well as a requirement in the application of sophisticated technologies that allow us to follow this fast evolution. In this age of information and innovation organizations will only survive if they are inserted in a global network of strategic relations, generically called as the network economy by Lev (2003). The service sector has stood out against the more traditional sectors of the economy. The intensive use of knowledge and a strong customer orientation created a new reality in today’s organizations: a growing importance attached to innovation, to the quality of products and services offered, to the information and communication technologies adopted, and to the creativity and particular abilities of human resources. The concept of intangible assets is more common in an accounting language and intellectual capital is most often applied in the context of management, being associated with a more comprehensive, multidimensional approach, representing all the knowledge that the institution owns and that it applies in the form of expertise, the creativity and organizational competencies that lead to innovation and to the sustained attainment of future economic benefits. An analysis of the scope of intellectual capital is fundamental to take more appropriate management decisions so that a more appropriate accounting treatment could be given by the accounting standardization organizations. This study intends to analyse the practices of information disclosure of the intellectual capital in the banking sector in Portugal, complementing the analysis of the disclosure of intangible assets in the context of accounting standards with the disclosure of intellectual capital in the context of organizational management. In particular, our main aims are to identify the extent of disclosure of intellectual capital made by banks in Portugal and also to identify the factors that determine such a disclosure. The disclosure in the context of accounting standards will be studied by checking the disclosure of intangible assets through the items listed in the International Accounting Standard 38 developed by the International Accounting Standards Board. The context of management was analysed by means of creating a voluntary disclosure index based on assumptions of the model Intellectus, developed by the Centro de Investigación sobre la Sociedad del Conocimiento – Instituto de Administración de Empresas (CIC-IADE) of the Universidad Autónoma of Madrid, and of the model Intellectual Capital Statement (made in Europe) (InCaS), both promoted by the European Commission and that we have adapted to the banking sector. When analysing the disclosure of intangible assets based on the context of accounting standards and the voluntary disclosure of intellectual capital, this study has tried to raise awareness about the importance of issuing reports on the intellectual capital as an alternative tool to take management decisions in the existing organizations and reflects the transparency and legitimacy that these institutions seek through a more extensive and more detailed information disclosure of their intellectual capital. Based on a complimentarily of economic theories, together with social and political theories, we tried to check the extent, evolution and tendencies of the compulsory disclosure of intangible assets and of the voluntary disclosure of the intellectual capital analysed in the period 2001-2011. Banks characteristics were also analysed in order to deduce those factors that determine or promote a larger disclosure in this sector. Based on these objectives, we adopted a longitudinal approach to explore the extent and the development of the disclosure of intangible assets as well as the factors that have determined it. Furthermore, we sought to assess the impact of the adoption of IAS 38 in the financial statements of the organizations in this sector. The disclosure index created on the basis of the disclosure requirements stated in IAS 38 from IASB was applied to the consolidated financial statements of the seventeen banks that rendered their statements in Portugal from 2001 to 2009. Since the information disclosed in the context of accounting standards may not have an important role as a management tool once it was not able to reflect what really contributes to the competitiveness and organizational growth, the voluntary disclosure of the intellectual capital was analysed according to the information obtained from the 2010 annual individual reports of the banks operating in Portugal in that year and from their respective websites in 2011. We tried to analyse the extent of the voluntary disclosure of the intellectual capital and of each of its components, human capital, structural capital and relational capital. The comparative analysis of their annual reports and their web pages allowed us to assess the incidence of the disclosure and discover what channel the banking sector focuses on when disclosing their intellectual capital. Also in this analysis the study of the disclosure determinants has allowed us to conclude about the influence of particular characteristics in the voluntary disclosure of the intellectual capital. The results of the analysis to the extent of the disclosure of intangible assets in the consolidated financial statements of the banking groups in Portugal in the period 2001-2009 have shown an average information disclosure of 0.24. This information disclosure evolved from an average value of 0.1940 in 2001 to 0.2778 in 2009. The average value is 0.8286 if it is only considered the disclosure of the intangible assets that the banks possessed. The evolution of this index means an increase in the average disclosure from 0.7852 in 2001 to 0.8788 in 2009. From the first results that are related to the extent of the disclosure of intangible assets in the financial statements, we can verify that the banking groups present a low disclosure level of these resources. However, when considering the disclosure of only the intangible assets that each institution owns, the disclosure level appears to be in compliance with the disclosure requirements for this sector. An evolution in the disclosure of intangible assets for the period considered was confirmed, showing an increase in the information disclosure of intangible assets in 2005, the year in which the accounting rules for intangible assets changed. The analysis that focused on the disclosure in the context of management tried to understand the extent, the incidence and the determinants of the voluntary information disclosure of intellectual capital in the annual reports of 2010 and on their web pages in 2011, studying the 32 banks operating in Portugal in this period. The average voluntary disclosure of the intellectual capital in the 2010 annual reports is 0.4342 while that in web pages is 0.2907. A review of the components of the intellectual capital allowed us to assess the importance that the banks confer to each of these components. The data obtained show that the relational capital, and more specifically the business capital, is the most disclosed component by banks in Portugal both in the annual reports and in their institutional web pages, followed by the structural capital and, finally, by the human capital. The disclosure of the human capital and the structural capital is higher in the annual reports than that in the websites, while the relational capital is more disclosed in the websites than in the annual reports. The results have also shown that the banks make a complementary use of both sources when disclosing information about their structural capital and relational capital but they do not show any information about their human capital in their websites. We tried to prove the influence of factors that could determine the accounting disclosure and the voluntary disclosure of the intellectual capital in this sector. The change in the IASB accounting rules as from January 1st 2005 gave a greater disclosure of accounting information of intangible assets in the financial statements of banks. The bank size and corporate governance measures have statistically proved to have an influence on the extent of the accounting disclosure of intangible assets and on the voluntary disclosure of the intellectual capital. Economic and financial variables such as profitability, operating efficiency or solvency were not determinants of information disclosure. The instability that the banking sector has experienced in economic and financial indicators in recent years as a result of the global financial markets imbalance has worsen indicators such as profitability, efficiency and solvency and caused major discrepancies in the economic situation between banks in Portugal. This empirical analysis has contributed to confront the disclosure required by accounting rules performed in the financial statements of organizations with that performed in the main disclosure media which is available for entities and which is increasingly requested in the process of taking management decisions. It also allowed us to verify whether there is homogeneity between institutions in the fulfilment of the requirements for information disclosure of intangible assets. However, as for voluntary disclosure of intellectual capital, there are large disparities in the disclosure extent between organizations. Regardless of this sector specific characteristics, the voluntary disclosure of intellectual capital made by banks in Portugal follows the trends in other sectors and the practices adopted in other countries, namely regarding the amount of information disclosed, the incidence of the disclosure on the indicators of relational capital and the importance of variables such as size as determinants of disclosure of intellectual capital. For a further knowledge in this field, we created a specific index for the banking sector, considering appropriate indicators for an incisive, comprehensive analysis in order to consider the most relevant indicators of intellectual capital components. Besides, confronting the analysis of disclosure in the context of accounting standards with the study of voluntary disclosure brought a new analysis approach to the research on intellectual capital disclosure. With this study, we have also intended to raise greater awareness of the need for harmonization in the intellectual capital disclosure on the part of the regulatory banking authority by means of a demanding, consistent and transparent report of intellectual capital with simple, clear, objective indicators so that those interested in disclosing intellectual capital information in the organizations in this sector may obtain more harmonized and comparable information. A research on the disclosure quality of intellectual capital, together with the application of other analysis methodologies in this sector, might be a promising approach for future research. Applying the voluntary disclosure index to the same sector in other countries may also contribute to the knowledge of disclosure practices in different geographical environments. We highlight the relevance of further studies contributing to the harmonization and consistency in the presentation of an intellectual capital report so as to enable organizations to disclose the resources that contribute most to their competitiveness and growth.

Preliminary Overview over Requirements Regarding Tools and Methods Derived from LUDA Cases

LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission

Protecção contra descargas atmosféricas: aplicação informática de identificação das vulnerabilidades das edificações e de apoio à concepção da protecção

A concepção de instalações eléctricas deve garantir condições de segurança para as pessoas e equipamentos. Para tal é exigida, quer por força de regulamentação ou de normalização, a instalação de dispositivos que garantam a detecção e a protecção contra os defeitos mais comuns nas instalações eléctricas como, por exemplo, as sobreintensidades e as sobretensões. Susceptíveis de criar sobretensões perigosas nas instalações eléctricas, as descargas atmosféricas podem ainda causar danos estruturais elevados, o que, em algumas actividades económicas, torna fundamental a implementação de medidas de protecção contra este fenómeno natural. A protecção contra descargas atmosféricas directas consiste em identificar as vulnerabilidades das estruturas e, nesses locais, implementar dispositivos de captura, direccionamento e escoamento da descarga atmosférica à terra, em condições de segurança. O presente trabalho, desenvolvido no âmbito da dissertação de Mestrado em Engenharia Electrotécnica, visa desenvolver e implementar uma ferramenta computacional, baseada em programas de desenho assistido por computador (CAD) de utilização corrente na área de projecto de arquitectura e de engenharia, que permita, no âmbito de normas internacionais, a análise e implementação de sistemas de protecção em edifícios contra descargas atmosféricas de uma forma rápida e expedita. Baseado num programa CAD 3D, que permite a modelização tridimensional das estruturas a proteger, a ferramenta desenvolvida tentará identificar as suas vulnerabilidades das estruturas às descargas atmosféricas directas, com o intuito de implementar as medidas de protecção mais adequadas do ponto de vista técnico económico. Prevê-se que a ferramenta resultante deste estudo, o Simulador do Modelo Electrogeométrico (SIMODEL), possibilite aos projectistas e particularmente aos alunos das unidades curriculares na área do projecto de instalações eléctricas da Área Departamental de Engenharia de Sistemas e Potencia e Automação (ADESPA) do ISEL, estudar e implementar sistemas de protecção contra descargas atmosféricas (SPDA) baseados na normalização internacional do CENELEC e da IEC, nomeadamente as normas da série 62305.

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.