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.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

The use of quantitative performance information by local elected politicians in top managers’ performance evaluation: case studies

This paper studies the use of results oriented performance information (outputs and outcomes) by local elected politicians (aldermen) in top managers’ performance evaluation. The main goal is to understand the top managers’ performance evaluation process conducted by Portuguese aldermen and to identify the dominant evaluation style. In line with Bogt (2001), an exploratory field research was developed in three large municipalities: Porto, Braga and Matosinhos. We intend to answer the following research questions: to what extent are local politicians (aldermen) 1 using results information (about outputs and outcomes) to evaluate top managers’ performance? Do aldermen give any importance to quantitative output information and report them on current planning and control documents? Will the output performance information be used on performance evaluation in a different way concerning policy field (task orientation)? Based on the Hopwood evaluation styles (adapted from the private to the public sector by Bogt, 2001), we have found that the performance evaluation process of top managers is more featured by the ‘operations-conscious styles’ (or ‘implicit style’). Portuguese aldermen recognize the importance to quantify outputs and outcomes, but these days they focus on the information about activities and the realized operations when they evaluate performance. We haven´t found significant differences between different tasks (some exceptions for culture and environment areas). However, the municipality of Matosinhos paid more attention on quantitative performance information. This finding is reinforced by the quality of quantitative data on outputs reported on its management report. Generally speaking, aldermen are aware that more attention should be paid to quantitative information about results and performance, taking into account recent reforms introduced in Portuguese municipalities (PLG) on this field, but the ‘implicit’ style is dominant.

Linking customer satisfaction, quality, and strategic planning

By acknowledging and dissecting the interconnected roles of customer satisfaction, quality, and strategic planning, this paper provides an analytical framework for creating a customer-driven organization and culture. It shows how quality starts and ends with the customer. Companies that are achieving long-term continuous improvement in quality tailored to customer satisfaction possess lasting characteristics such as customer orientation, customer consciousness, and customer responsiveness. In doing so, they liberate the quality concept from the narrow product or service focus to encompass total conformance to customer requirements in spite of the existing functionalization and departmentalization of modern complex structures. In addition to these key components, a customer-driven organization demands building and nurturing a customer satisfaction culture and value system that makes quality improvement and heightened concern for customer satisfaction a permanent aspect of organizational life.

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

Investigation on the development of bidding strategies for a wind farm owner

In this paper, the development of bidding strategies is investigated for a wind farm owner. The optimization model is characterized by making the analysis of scenarios. The proposed approach allows evaluating alternative production strategies in order to submit bids to the electricity market with the goal of maximizing profits. The problem is formulated as a linear programming problem. An application to a case study is presented

Evaluation of risks at MANTEM

International statistics show that the problem of the accidents at work is far away to be solved (ILO estimates that every year about 270 million work accidents and 160 million occupational diseases resulting in the death of more than 2 million workers occurs in the world). That's why the EU global goal concerning the community' strategy for occupational health and safety for 2007-2012 is to reduce in 25% the incidence rate of occupational accidents and diseases. In this prospect it is presented a case study which justify the need to develop studies in Safety, Hygiene and Health at Work area as a way to encourage the managers to implement preventive actions and strategies, besides meeting the legal requirements, in order to reduce the occurrence of work accidents, improve the work conditions and therefore obtain benefits in added values and reinforced competition. The general objective of this study is to describe the work situations, identify the dangers and associate the potential risks and consequences; evaluate and value the risk. The study uses the Failure Table methodology and, in the business area of an organization which will be from now on designated as MANTEM that works in the electromechanical maintenance area. The results were, amongst others, some actions to be implemented to eliminate/minimize risks.

Implementação de sistemas da qualidade numa empresa de transporte rodoviário fraccionado de mercadorias: indicadores de competitividade

A certificação deixou de ser “apenas” uma vantagem competitiva para passar a ser um critério seleccionador de empresas diferenciando-as das concorrentes. O conceito de melhoria contínua subjacente à norma ISO 9001 transmite para o mercado a imagem de empresas capazes de satisfazer e superar as exigências dos clientes, direccionando todos os colaboradores para esse objectivo comum. O sector dos Transportes aderiu em força a esta inovação mostrando interesse em melhorar a qualidade do serviço prestado e dos processos. O objectivo deste estudo é contribuir para a avaliação da implementação do Sistema de Gestão da Qualidade (SGQ) ISO 9001:2008 numa empresa de Transportes rodoviários de mercadorias porta a porta (TRMPP) – também designado por Transporte Fraccionado de Mercadorias. Elaborou-se um questionário a clientes construindo-se os indicadores de forma a identificar pontos fortes e pontos fracos no sentido da melhoria contínua da qualidade. Destacam-se a competitividade relativamente às devoluções, grau de satisfação relativamente à competitividade geral, classificação do serviço prestado pelos motoristas/ ajudantes. Conclui-se que a principal razão que levou a empresa a implementar o SGQ foi a necessidade de responder a alguns requisitos nomeadamente concursos públicos onde implicitamente existem indicadores de satisfação dos clientes e outros de melhoria da qualidade do produto/serviço. Durante o processo de implementação do SGQ, surgiram dificuldades relacionadas essencialmente com o tempo necessário para tratar de burocracias e com os custos da Qualidade. Concluiu-se ainda que a Gestão de topo, os Directores e os Chefes de Secção, são os principais responsáveis pela detecção e correcção de não conformidades, bem como a empresa que implementou novos métodos de motivação dos colaboradores, destacando a formação e a comunicação.

SIAT:sistema de informações e alertas de trânsito

A evolução tecnológica e das sociedades permitiu que, hoje em dia, uma boa parte da população tenha acesso a dispositivos móveis com funcionalidades avançadas. Com este tipo de dispositivos, temos acesso a inúmeras fontes de informação em tempo-real, mas esta característica ainda não é, hoje em dia, aproveitada na sua totalidade. Este projecto tenta tirar partido desta realidade para, utilizando os diversos dispositivos móveis, criar uma rede de troca de informações de trânsito. O utilizador apenas necessita de servir-se do seu dispositivo móvel para, automaticamente, obter as mais recentes informações de trânsito enquanto, paralelamente, partilha com os outros utilizadores a sua informação. Apesar de existirem outras alternativas no mercado, com soluções que permitem usufruir do mesmo tipo de funcionalidades, nenhuma utiliza este tipo de dispositivos (GPS’s convencionais, por exemplo). Um dos requisitos necessário na implementação deste projecto é uma solução de geocoding. Após terem sido testadas várias soluções, nenhuma cumpria, na totalidade, os requisitos deste projecto, o que originou o desenvolvimento de uma nova solução que cumpre esses requisitos. A solução é, toda ela, muito modular, formada por vários componentes, cada um com responsabilidades bem identificadas. A arquitectura desta solução baseia-se nos padrões de desenvolvimento de uma Service Oriented Architecture. Todos os componentes disponibilizam as suas operações através de web services, e a sua descoberta recorre ao protocolo WS-Discovery. Estes vários componentes podem ser divididos em duas categorias: os do núcleo, responsáveis por criar e oferecer as funcionalidades requisitadas neste projecto e os módulos externos, nos quais se incluem as aplicações que apresentam as funcionalidades ao utilizador. Foram criadas duas formas de consumir a informação oferecida pelo serviço SIAT: a aplicação móvel e um website. No âmbito dos dispositivos móveis, foi desenvolvida uma aplicação para o sistema operativo Windows Phone 7.

Análise comparativa dos modelos regulamentares de previsão da retracção do betão

A adequada previsão do comportamento diferido do betão, designadamente da retracção, é essencial no projecto de uma obra de grandes dimensões, permitindo conceber, dimensionar e adoptar as disposições construtivas para um comportamento estrutural que satisfaça os requisitos de segurança, utilização e durabilidade. O actual momento é marcado por uma transição em termos da regulamentação de estruturas, com a eminente substituição da regulamentação nacional por regulamentação europeia. No caso das estruturas de betão, o Regulamento de Estruturas de Betão Armado e Pré-Esforçado (REBAP), em vigor desde 1983, será substituído pelo Eurocódigo 2. Paralelamente, a Federation International du Betón publicou o Model Code 2010 (MC2010), um documento que certamente terá forte influência na evolução da regulamentação das estruturas de betão. Neste contexto, o presente trabalho tem como objectivo estabelecer uma comparação entre os diferentes modelos de previsão da retracção incluídos nos documentos normativos referidos, identificando as principais diferenças e semelhanças entre eles e quantificando a influência dos diferentes factores considerados na sua formulação, de forma a avaliar o impacto que a introdução destes modelos de previsão irá ter no projecto de estruturas de betão. Com o propósito de aferir a forma como estes modelos reflectem a realidade do fenómeno em estudo, procedeu-se à aplicação destes modelos de previsão ao betão de duas obras cujo comportamento estrutural é observado pelo LNEC, concretamente a ponte Miguel Torga, sobre o rio Douro, na Régua, e a ponte sobre o rio Angueira, no distrito de Bragança. Em ambas as obras tinha sido efectuada a caracterização in situ da retracção, tendo-se comparado os valores experimentais assim obtidos com os valores provenientes da aplicação dos modelos de previsão considerados neste trabalho. Finalmente são apresentadas algumas conclusões obtidas com o trabalho desenvolvido nesta dissertação, bem como algumas sugestões para desenvolvimentos futuros.