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.

Rooting of hardwood cuttings of Roxo de Valinhos fig (Ficus carica L.) with different propagation strategies

The objective of this study was to evaluate the substrate, cuttings collection time, the position and the cutting depth, and the propagation environment on rooting of 'Purple Valinhos' fig tree cuttings in Southwestern Paraná, Brazil. Two experiments were carried out at UTFPR, Câmpus Dois Vizinhos, with hardwoods cuttings from Roxo de Valinhos fig tree. The first experiment used a randomized block design, in 3 x 3 x 2 factorial (substrate x environment x collection time), with four replications of 10 cuttings per plot. The cuttings were collected in the first fifteen days of July and August. The substrates were sand, soil and the mixture of these [1:1 (v / v)]. The environments used were open sky, tunnel with plastic cover and tunnel with half-shade black net cover. The second experiment used a randomized block design, 2 x 2 x 3 factorial (shoot cutting position x soil cover x shoot cutting depth), with four replications of 12 cuttings per plot. In the factor position, the vertically (0 º inclination) and inclined (45 º inclination) shoot cuttings were evaluated. Soil cover was tested with mulching plastic cover or not. The tested depths were 1/3, 1/2 and 2/3 in relation to the total length of the shoot cutting. In both experiments, the following were analyzed: rooting and mortality indices, number of leaves and primary shoots, length of the three largest roots per cutting. It was conclude that, the protected environment with plastic cover on sand as substrate must recommended for the rooting of fig estaca, collecting them in the first half of July. The inclination position and cutting depth of the estaca and the substrate coverage with plastic mulching did not influence the results.

Financial strategies for minimizing corporate income taxes under Brazil's new global tax system

In 1996, Brazil adopted a worldwide income tax system for corporations. This system represents a fundamental change in how the Brazílian government treats multinational transactions and the tax minimizing strategies relevant to businesses. In this article, we describe the conceptual basis for worldwide tax systems and the problem of double taxation that they create. Responses to double taxation by both the governments and the priva te sector are considered. Namely, the imperfect mechanisms developed by Brazil and other countries for mitigating double taxation are analyzed. We ultimately focus on the strategies that companies utilize in order not only to avoid double texetion, but also to take advantage of tax havens.

lnternational transfer pricing strategies for minimizing global income taxes

Optimal financiai strategies are criticai for long term survival in competitive international markets. Financial strategies pertaining to transfer pricing have become increasingly important as income tax authorities seek additional revenues through increased monitoring of company practices. In this first of two articles, optimal tax strategies are presented after reviewing the transfer pricing concept and the rationale underlying governments' increased focus on transfer pricing. In the second forthcoming article, we analyze the effect of government restrictions on optimal pricing strategies.

Antecedents of the importance of price in purchase decisions

This paper analyses the commercial and socio-demographic antecedents of the importance of price in buyers' decisions. The study uses ordinal regression in order to analyze the data obtained from a random sample of consumers of frequently purchased products; these consumers were surveyed in different stores. The results demonstrate that shopping enjoyment and brand loyalty have an influence over the importance of price. However, responsibility for shopping (purchase frequency) does not show a significant relationship. Furthermore, some interesting socio-demographic characteristics were found in the context of the study that can be analyzed in future research.

Influence of discount price announcements on consumer's behavior

The theoretical framework that underpins this research study is based on the Prospect Theory formulated by Kahneman and Tversky, and Thaler's Mental Accounting Theory. The research aims to evaluate the consumers' behavior when different patterns of discount are offered (in percentage and absolute value and for larger and smaller discounts). Two experiments were conducted to explore these patterns of behavior and the results that were obtained supported the view that the framing effect was a common occurrence. The patterns of choice of individuals in a sample were found to be different due to changes in the ways discounts were offered. This can be explained by the various ways of presenting discount rates that had an impact on the influence of purchase intentions, recommendations and quality perception.

STRATEGIES FOR SUPERIOR PERFORMANCE IN RECESSIONS: PRO OR COUNTER-CYCLICAL?

Recessions are recurring events in which most firms suffer severe impacts while others are less affected or may even prosper. Strategic management has made little progress in understanding such performance differences. In a scenario of decreased demand, intensified competition, and higher uncertainty, most firms try to survive by pro-cyclically cutting costs and investments. But firms could take advantage of undervalued resources in the market to counter-cyclically invest in new business opportunities to overtake competitors. We survey Brazilian firms in various industries about the 2008-2009 recession and analyze data using PLS-SEM. We find that while most firms pro-cyclically reduce costs and investments in recessions, a counter-cyclical strategy of investing in opportunities created by changes in the market enables superior performance. Most successful are firms with a propensity to recognize opportunities, an entrepreneurial orientation to invest, and the flexibility to efficiently implement investments.

Evaluation of collaborative strategies for ecotourism and recreational activities in natural parks of Rio de Janeiro

In the city of Rio de Janeiro, the management agencies of environmental conservation units of the park type have been attempting to meet five primary objectives set by the National System for Conservation Units (NSCU), using participatory management guidelines for these units. Two of these objectives relate to the development of recreation activities that involve contact with nature and ecological tourism. This article presents the analyses and conclusions regarding the implementation of collaborative strategies with businesses to achieve such objectives; it is part of a series of research studies having a broader scope. Case studies were conducted in eight parks by means of dozens of interviews with managers and other interested social actors, as well as by documentary research and direct observation. The results suggest that the ecotourism objective is still far from being reached, and that the collaborative strategies used are not sufficient to compensate for the organizational, material and human limitations that encumber these agencies. It was also concluded for the sample that there lacks a strategic vision on the part of the three branches of government involved in the management of these parks in the sense of viewing ecotourism in the city's conservation units as a powerful means to foster local sustainable development.

Climate strategies of firms in the automotive and pulp & paper industries in Brazil: insights from an international perspective

This article focuses on the results of the final stage of research into the climate strategies of firms in the automotive and pulp-and-paper industries in Brazil, a country that is becoming increasingly important also in terms of climate change issues. In the first stage, the Climate Strategy Model (CSM) was developed to assess whether firms were adopting the necessary practices to assure the successful implementation of climate strategies. In the second, the CSM was applied to firms in the above mentioned industries that were chosen because of their important role in the domestic economy. In the final stage, interviews with executives of these firms were conducted to identify root causes of climate strategy implementation deficiencies and obtain new insights from an international perspective.

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

A gestão do risco associado à negociação de energia eléctrica através de contratos bilaterais e mercado spot

Num mercado de electricidade competitivo onde existe um ambiente de incerteza, as empresas de geração adoptam estratégias que visam a maximização do lucro, e a minimização do risco. Neste contexto, é de extrema importância para desenvolver uma estratégia adequada de gestão de risco ter em conta as diferentes opções de negociação de energia num mercado liberalizado, de forma a suportar a tomada de decisões na gestão de risco. O presente trabalho apresenta um modelo que avalia a melhor estratégia de um produtor de energia eléctrica que comercializa num mercado competitivo, onde existem dois mercados possíveis para a transacção de energia: o mercado organizado (bolsa) e o mercado de contratos bilaterais. O produtor tenta maximizar seus lucros e minimizar os riscos correspondentes, seleccionando o melhor equilíbrio entre os dois mercados possíveis (bolsa e bilateral). O mercado de contratos bilaterais visa gerir adequadamente os riscos inerentes à operação de mercados no curto prazo (mercado organizado) e dar o vendedor / comprador uma capacidade real de escolher o fornecedor com que quer negociar. O modelo apresentado neste trabalho faz uma caracterização explícita do risco no que diz respeito ao agente de mercado na questão da sua atitude face ao risco, medido pelo Value at Risk (VaR), descrito neste trabalho por Lucro-em-Risco (PAR). O preço e os factores de risco de volume são caracterizados por um valor médio e um desvio padrão, e são modelizados por distribuições normais. Os resultados numéricos são obtidos utilizando a simulação de Monte Carlo implementado em Matlab, e que é aplicado a um produtor que mantém uma carteira diversificada de tecnologias de geração, para um horizonte temporal de um ano. Esta dissertação está organizada da seguinte forma: o capítulo 1, 2 e 3 descrevem o estado-da-arte relacionado com a gestão de risco na comercialização de energia eléctrica. O capítulo 4 descreve o modelo desenvolvido e implementado, onde é também apresentado um estudo de caso com uma aplicação do modelo para avaliar o risco de negociação de um produtor. No capítulo 5 são apresentadas as principais conclusões.

Learning in higher education: strategies to overcome challenges faced by adult students - lessons drawn from two studies in portugal

Int’l J. of Information and Communication Technology Education, 3(2), 1-14, April-June 2007

Internacionalização do vinho do Porto – estudo de caso Grupo Sogevinus

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientada por Professor Doutor José Freitas Santos

Comparative study of power converter topologies and control strategies for the harmonic performance of variable-speed wind turbine generator systems

Power converters play a vital role in the integration of wind power into the electrical grid. Variable-speed wind turbine generator systems have a considerable interest of application for grid connection at constant frequency. In this paper, comprehensive simulation studies are carried out with three power converter topologies: matrix, two-level and multilevel. A fractional-order control strategy is studied for the variable-speed operation of wind turbine generator systems. The studies are in order to compare power converter topologies and control strategies. The studies reveal that the multilevel converter and the proposed fractional-order control strategy enable an improvement in the power quality, in comparison with the other power converters using a classical integer-order control strategy. (C) 2010 Elsevier Ltd. All rights reserved.