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.

The Knowledge and Use of the Balanced Scorecard in Portugal: Empirical Evidence of the 250 Largest Companies

Balanced Scorecard (BSC) is recognized, both in the academic and business world, as one of the most powerful strategic management accounting tools. Thus, we launched in October 2004 a questionnaire survey applied to the 250 largest Portuguese companies aiming at observing the knowledge, use, and companies’ characteristics which are adopting this management instrument. Despite the majority of the companies inquired recognize BSC more as a strategic management tool than a performance valuation system, the results show that there is still a reduced and recent utilization of BSC in Portugal. Similarly to other countries Portugal is still in the initial state of BSC utilization. Our work has shown that the companies that use more BSC belong mainly to the secondary sector of industry. Nevertheless, unlike other studies, we did not get empirical evidence on the influence of variables such as geographical localization, dimension and internationalization, in the use and knowledge of BSC in Portugal.

Disclosure of Intangible Assets: an Empirical Study of Financial Corporations in the Iberian Peninsula

The purpose of this paper is to analyse, firstly, to what extent intangible assets in the consolidated accounts of seven Portuguese banks and seven Spanish banks between 2006 and 2009 are disclosed and, secondly, to analyse what the most influential factors are in the above mentioned disclosure. In order to do this, before reviewing the existing literature and on the basis of other studies on this topic, a disclosure index has been created based on the requirements related to the intangible assets as stated in IAS 38. Then, two statistical analyses have been made: a univariate one for each of the explanatory variables and a multivariate one, in which all variables have been analysed. Both analyses led to the conclusion that the disclosure index of intangible assets is 0.96, where the bank dimension and the internationalization degree are the variables that are considered explanatory of the variation of the disclosure index in the regression analysis.

Methods to classify maize cultivars in use efficiency and response to nitrogen

n plant breeding programs that aim to obtain cultivars with nitrogen (N) use efficiency, the focus is on methods of selection and experimental procedures that present low cost, fast response, high repeatability, and can be applied to a large number of cultivars. Thus, the objectives of this study were to classify maize cultivars regarding their use efficiency and response to N in a breeding program, and to validate the methodology with contrasting doses of the nutrient. The experimental design was a randomized block with the treatments arranged in a split-plot scheme with three replicates and five N doses (0, 30, 60, 120 and 200 kg ha-1) in the plots, and six cultivars in subplots. We compared a method examining the efficiency and response (ER) with two contrasting doses of N. After that, the analysis of variance, mean comparison and regression analysis were performed. In conclusion, the method of the use efficiency and response based on two N levels classifies the cultivars in the same way as the regression analysis, and it is appropriate in plant breeding routine. Thus, it is necessary to identify the levels of N required to discriminate maize cultivars in conditions of low and high N availability in plant breeding programs that aim to obtain efficient and responsive cultivars. Moreover, the analysis of the interaction genotype x environment at experiments with contrasting doses is always required, even when the interaction is not significant.

Determinant factors of the implementation of the balanced scorecard in Portugal: empirical evidence in public and private organizations

In this article we aim to identify and analyze a set of variables that can potentially influence the adoption of the Balanced Scorecard (BSC)in Portugal. Hypotheses were tested using data obtained from a questionnaire sent to 591 publicly-owned organizations (local governments, municipal corporations and hospitals) and 549 privately-owned organizations (large companies and small and medium enterprises) in Portugal, with an overall response rate of 31.3%. The results allow us to conclude that although the majority of respondents claimed to know the BSC, its use in Portugal is still limited and very recent, particularly in the public sector organizations. However, it should be noted that its use has increased in Portugal in recent years. Using as theoretical framework the contingency and institutional theories, we found that decentralization, vertical differentiation and the degree of higher education are associated with the implementation of the BSC.

An empirical assessment of customer satisfaction and quality of servisse: Comparing Servqual and Servperf

This paper assesses the validity and reliability of two instruments measuring quality of service, the SERVPERF and SERVQUAL scales, replicated in a novel cultural settings, a Portuguese energy company. To provide insights and strategies for managerial intervention, a relation between customers’ satisfaction and quality of service is established. The empirical study suggests a superior convergent and predictive validity of SERVPERF scale to measure quality of service in this settings when comparing to SERVQUAL. The main differences of this study with previous ones, are that this one resorts on a confirmatory factor analysis, the validation of the instruments is performed by using the same measures suggested by their creators and extends the line of research to a novel cultural settings, a Portuguese energy company. Concerning the relationship between service quality and customers’ satisfaction, all of the quality of service attributes correlate almost equally to the satisfaction ones, with a lower weight concerning tangibles.

An empirical assessment of customer satisfaction and quality of service: comparing SERVQUAL and SERVPERF

This paper assesses the validity and reliability of two instruments measuring quality of service, the SERVPERF and SERVQUAL scales, replicated in a novel cultural settings, a Portuguese energy company. To provide insights and strategies for managerial intervention, a relation between customers’ satisfaction and quality of service is established. The empirical study suggests a superior convergent and predictive validity of SERVPERF scale to measure quality of service in this settings when comparing to SERVQUAL. The main differences of this study with previous ones, are that this one resorts on a confirmatory factor analysis, the validation of the instruments is performed by using the same measures suggested by their creators and extends the line of research to a novel cultural settings, a Portuguese energy company. Concerning the relationship between service quality and customers’ satisfaction, all of the quality of service attributes correlate almost equally to the satisfaction ones, with a lower weight concerning tangibles.

Comparison of different methods for the determination of total organic carbon and humic substances in Brazilian soils

ABSTRACTAiming to compare three different methods for the determination of organic carbon (OC) in the soil and fractions of humic substances, seventeen Brazilian soil samples of different classes and textures were evaluated. Amounts of OC in the soil samples and the humic fractions were measured by the dichromate-oxidation method, with and without external heating in a digestion block at 130 °C for 30 min; by the loss-on-ignition method at 450 °C during 5 h and at 600 °C during 6 h; and by the dry combustion method. Dry combustion was used as reference in order to measure the efficiency of the other methods. Soil OC measured by the dichromate-oxidation method with external heating had the highest efficiency and the best results comparing to the reference method. When external heating was not used, the mean recovery efficiency dropped to 71%. The amount of OC was overestimated by the loss-on-ignition methods. Regression equations obtained between total OC contents of the reference method and those of the other methods showed relatively good adjustment, but all intercepts were different from zero (p < 0.01), which suggests that more accuracy can be obtained using not one single correction factor, but considering also the intercept. The Walkley-Black method underestimated the OC contents of the humic fractions, which was associated with the partial oxidation of the humin fraction. Better results were obtained when external heating was used. For the organic matter fractions, the OC in the humic and fulvic acid fractions can be determined without external heating if the reference method is not available, but the humin fraction requires the external heating.

Relationships between NPM, the use of PM practices and the organizational performance: empirical evidence from government agencies

Purpose – this paper has two main purposes: (1)explore if government agencies more oriented to NPM postulates are more willing to use PM practices and to improve their performance; and (2) investigate whether the fit between the use of PM practices and the organizationa performance is dependent upon from the capacity of agencies to adapt its structures to changes introduced by NPM reforms. Design/methodology/approach - this paper is based on the survey method and provides empirical evidence from Portuguese government agencies.Findings (mandatory) - Our findings suggest that government agencies that made structural arrangements under the NPM reforms are more willing to use PM practices and will perform better than other agencies. In addition, this paper show that therelationship between the use of PM practices and the organizational performance is dependent upon from the agencies capacity to adopt new structural arrangements under the NPM reforms.Practical implications – this paper has three main contributions: (1) contribute to knowledge about the relationship between the introduction of NPM changes in the use of PM practices; (2) contribute to clarify whether agencies more oriented to NPM postulates are improving performance; and (3) help to clarify the way the organizations should adapt their structures for to be more effective in the use of PM practices. Originality/value - The quantitative empirical research, based on the unique survey applied to Portuguese government agencies on this field, allow us to add to prior research mainly based on case studies and oriented to local governments (Budding, 2004).

Impacts of vinasse and methods of sugarcane harvesting on the availability of K and carbon stock of an Argisol

ABSTRACT Soils of tropical regions are more weathered and in need of conservation managements to maintain and improve the quality of its components. The objective of this study was to evaluate the availability of K, the organic matter content and the stock of total carbon of an Argisol after vinasse application and manual and mechanized harvesting of burnt and raw sugarcane, in western São Paulo.The data collection was done in the 2012/2013 harvest, in a bioenergy company in Presidente Prudente/SP. The research was arranged out following a split-plot scheme in a 5x5 factorial design, characterized by four management systems: without vinasse application and harvest without burning; with vinasse application and harvest without burning; with vinasse application and harvest after burning; without vinasse application and harvest after burning; plus native forest, and five soil sampling depths (0-10 10-20, 20-30, 30-40, 40-50 cm), with four replications. In each treatment, the K content in the soil and accumulated in the remaining dry biomass in the area, the levels of organic matter, organic carbon and soil carbon stock were determined. The mean values were compared by Tukey test. The vinasse application associated with the harvest without burning increased the K content in soil layers up to 40 cm deep. The managements without vinasse application and manual harvest after burning, and without vinasse application with mechanical harvesting without burning did not increase the levels of organic matter, organic carbon and stock of total soil organic carbon, while the vinasse application and harvest after burning and without burning increased the levels of these attributes in the depth of 0-10 cm.

Comparison of methods for classification of the coefficient of variation in papaya

ABSTRACT The objective of this work was to study the distribution of values of the coefficient of variation (CV) in the experiments of papaya crop (Carica papaya L.) by proposing ranges to guide researchers in their evaluation for different characters in the field. The data used in this study were obtained by bibliographical review in Brazilian journals, dissertations and thesis. This study considered the following characters: diameter of the stalk, insertion height of the first fruit, plant height, number of fruits per plant, fruit biomass, fruit length, equatorial diameter of the fruit, pulp thickness, fruit firmness, soluble solids and internal cavity diameter, from which, value ranges were obtained for the CV values for each character, based on the methodology proposed by Garcia, Costa and by the standard classification of Pimentel-Gomes. The results obtained in this study indicated that ranges of CV values were different among various characters, presenting a large variation, which justifies the necessity of using specific evaluation range for each character. In addition, the use of classification ranges obtained from methodology of Costa is recommended.

Transaction costs: an empirical analysis of their relationship with investment and foreign direct investment

As stated by the New Institutional Economics theory, transaction costs play a relevant role in economics and, according to the extent of such costs, agents make investment decisions. Actually, transaction costs may represent a disincentive to entrepreneurship. This work aims to verify whether transaction costs are related to investment rate and foreign direct investment rate (FDI) in different business environments. The results suggest that foreign investors do not have precise information about other countries as domestic investors do; as it is observed, only the relation between transaction costs and investment rate is significant. Furthermore, there is evidence that the business environments of BRIC countries are less developed when compared to business environments of other countries in the study

A JOINT EXPERIMENTAL ANALYSIS OF INVESTOR BEHAVIOR IN IPO PRICING METHODS

This article jointly examines the differences of laboratory versions of the Dutch clock open auction, a sealed-bid auction to represent book building, and a two-stage sealed bid auction to proxy for the “competitive IPO”, a recent innovation used in a few European equity initial public offerings. We investigate pricing, seller allocation, and buyer welfare allocation efficiency and conclude that the book building emulation seems to be as price efficient as the Dutch auction, even after investor learning, whereas the competitive IPO is not price efficient, regardless of learning. The competitive IPO is the most seller allocative efficient method because it maximizes offer proceeds. The Dutch auction emerges as the most buyer welfare allocative efficient method. Underwriters are probably seeking pricing efficiency rather than seller or buyer welfare allocative efficiency and their discretionary pricing and allocation must be important since book building is prominent worldwide.