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.

Virtual simulation of the postsurgical cosmetic outcome in patientswith pectus excavatum

Pectus excavatum is the most common congenital deformity of the anterior chest wall, in which several ribs and the sternum grow abnormally. Nowadays, the surgical correction is carried out in children and adults through Nuss technic. This technic has been shown to be safe with major drivers as cosmesis and the prevention of psychological problems and social stress. Nowadays, no application is known to predict the cosmetic outcome of the pectus excavatum surgical correction. Such tool could be used to help the surgeon and the patient in the moment of deciding the need for surgery correction. This work is a first step to predict postsurgical outcome in pectus excavatum surgery correction. Facing this goal, it was firstly determined a point cloud of the skin surface along the thoracic wall using Computed Tomography (before surgical correction) and the Polhemus FastSCAN (after the surgical correction). Then, a surface mesh was reconstructed from the two point clouds using a Radial Basis Function algorithm for further affine registration between the meshes. After registration, one studied the surgical correction influence area (SCIA) of the thoracic wall. This SCIA was used to train, test and validate artificial neural networks in order to predict the surgical outcome of pectus excavatum correction and to determine the degree of convergence of SCIA in different patients. Often, ANN did not converge to a satisfactory solution (each patient had its own deformity characteristics), thus invalidating the creation of a mathematical model capable of estimating, with satisfactory results, the postsurgical outcome

Performance measurement and management in Portuguese law enforcement

Performance measurement of police services is complicated by ambiguous and complex goal- and objectives-setting, and by the difficulties of measuring outputs. This article looks at the organizational and management changes being made in Portuguese police forces. The authors fill a gap in the literature on performance measurement in Portugal by taking a national approach to the study of how law enforcement agencies are introducing new management accounting changes. The article therefore widens the debate on performance measurement and performance improvements in law enforcement.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Metodologia de Suporte à Utilização de Sistemas Interativos

Interactive systems users still face several challenge. Besides current improvements in usability and intuitiveness users have to adapt to the systems proposed to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, etc. This paper proposes a methodology to improve this situation supporting the use of interactive systems by users. To achieve this goal the approach is based on enriched task models and picture-driven computing. An example based on a text editor illustrates the approach.

A Methodology for GUI Layer Redefinition Through Virtualization and Computer Vision

Nowadays despite improvements in usability and intuitiveness users have to adapt to the proposed systems to satisfy their needs. For instance, they must learn how to achieve tasks, how to interact with the system, and fulfill system's specifications. This paper proposes an approach to improve this situation enabling graphical user interface redefinition through virtualization and computer vision with the aim of increasing the system's usability. To achieve this goal the approach is based on enriched task models, virtualization and picture-driven computing.

Towards a model for the measurement of data quality in websites

Websites are, nowadays, the face of institutions, but they are often neglected, especially when it comes to contents. In the present paper, we put forth an investigation work whose final goal is the development of a model for the measurement of data quality in institutional websites for health units. To that end, we have carried out a bibliographic review of the available approaches for the evaluation of website content quality, in order to identify the most recurrent dimensions and the attributes, and we are currently carrying out a Delphi Method process, presently in its second stage, with the purpose of reaching an adequate set of attributes for the measurement of content quality.

A model for the evaluation of data quality in health unit website

This article presents a research work, the goal of which was to achieve a model for the evaluation of data quality in institutional websites of health units in a broad and balanced way. We have carried out a literature review of the available approaches for the evaluation of website content quality, in order to identify the most recurrent dimensions and the attributes, and we have also carried out a Delphi method process with experts in order to reach an adequate set of attributes and their respective weights for the measurement of content quality. The results obtained revealed a high level of consensus among the experts who participated in the Delphi process. On the other hand, the different statistical analysis and techniques implemented are robust and attach confidence to our results and consequent model obtained.

Application of Gage R&R methodology for improving the training and evaluation of automatic optical inspection machine operators

The current level of demand by customers in the electronics industry requires the production of parts with an extremely high level of reliability and quality to ensure complete confidence on the end customer. Automatic Optical Inspection (AOI) machines have an important role in the monitoring and detection of errors during the manufacturing process for printed circuit boards. These machines present images of products with probable assembly mistakes to an operator and him decide whether the product has a real defect or if in turn this was an automated false detection. Operator training is an important aspect for obtaining a lower rate of evaluation failure by the operator and consequently a lower rate of actual defects that slip through to the following processes. The Gage R&R methodology for attributes is part of a Six Sigma strategy to examine the repeatability and reproducibility of an evaluation system, thus giving important feedback on the suitability of each operator in classifying defects. This methodology was already applied in several industry sectors and services at different processes, with excellent results in the evaluation of subjective parameters. An application for training operators of AOI machines was developed, in order to be able to check their fitness and improve future evaluation performance. This application will provide a better understanding of the specific training needs for each operator, and also to accompany the evolution of the training program for new components which in turn present additional new difficulties for the operator evaluation. The use of this application will contribute to reduce the number of defects misclassified by the operators that are passed on to the following steps in the productive process. This defect reduction will also contribute to the continuous improvement of the operator evaluation performance, which is seen as a quality management goal.

Use of Performance Measurement in the Public Sector: the case of the police service

Many public organisations have been under great pressure in recent years to increase the efficiency and transparency of outputs, to rationalise the use of public resources, and to increase the quality of service delivery. In this context, public organisations were encouraged to introduce the New Public Management reforms with the goal of improving the efficiency and effectiveness of the performance organisation through a new public management model. This new public management model is based on measurement by outputs and outcomes, a clear definition of responsibilities, the transparency and accountability of governmental activities, and on a greater value for citizens. What type of performance measurement systems are used in police services? Based on the literature, we see that multidimensional models, such as the Balanced Scorecard, are important in many public organisations, like municipalities, universities, and hospitals. Police services are characterised by complex, diverse objectives and stakeholders. Therefore, performance measurement of these public services calls for a specific analysis. Based on a nationwide survey of all police chiefs of the Portuguese police force, we find that employee performance measurement is the main form of measurement. Also, we propose a strategic map for the Portuguese police service.

Use of performance information by local politicians: a field study in the Portuguese context.

This paper seeks to investigate the use of performance information by politicians and whether the institutional reforms on performance management (PM) have been operationalized by local politicians. Differences on the policy field and the organizational context have been analyzed. Our goal is contribute to knowledge on PM in the political sphere and understand the different responses of politicians to government change initiatives (mainly coercive pressures). Our findings show that local politicians support the notion that greater attention should be devoted to the use of performance information on the evaluation process. Nevertheless they are very skeptic in relation to effective execution of government reforms. There is an internal culture where agencies are embedded, strongly influenced by the high degree of politicisation among senior managers, that lead politicians to be more concerned about personal opinions and informal performance information rather than to use more sophisticated information (output and outcome measures). The institutional approach helps us to identify political responses to institutional pressures and understand the reasons for a reduced use in the Portuguese context.

Performance management framework: the fit between PM framework adopted in Portuguese local government and the Otley’s framework

Purpose/objectives: This paper seeks to investigate whether performance management (PM) framework adopted in Portuguese local government (PLG) fit the Otley’s PM framework (1999). In particularly, the research questions are (1) whether PM framework adopted in PLG (SIADAP) fit the Otley´s framework, and (2) how local politicians (aldermen) see the operation of performance management systems (PMS) in PLG (focusing on the goal-setting process and incentive and reward structures). Theoretical positioning/contributions: With this paper we intend to contribute to literature on how the Otley’s PM framework can guide empirical research about the operation of PMS. In particular, the paper contributes to understand the fit between PMS implemented in PLG and the Otley´s PM framework. The analysis of this fit can be a good contribution to understand if PMS are used in PLG as a management tool or as a strategic response to external pressures (based on interviews conducted to aldermen). We believe that the Otley’s PM framework, as well as the extended PM framework presented by Ferreira and Otley (2009), can provide a useful research tool to understand the operation of PMS in PLG. Research method: The first research question is the central issue in this paper and is analyzed based on the main reforms introduced by Portuguese government on PM of public organizations (like municipalities). On the other hand, interviews conducted on three larger Portuguese municipalities (Oporto, Braga, and Matosinhos) show how aldermen see the operation of PMS in PLG, highlighting the goals setting process with targets associated and the existing of incentive and reward structures linked with performance. Findings: Generally we find that formal and regulated PM frameworks in PLG fit the main issues of the Otley’s PM framework. However, regarding the aldermen perceptions about PMS in practice we find a gap between theory and practice, especially regarding difficulties associated with the lack of a culture of goals and targets setting and the lack of incentive and reward structures linked with performance.

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.

Cultural mega-events and the enhancement of a city's image: differences between engaged participants and attendees

A city’s image can serve as the basis upon which to develop a strong sense of community. This, in turn, fosters trust and cooperation which may attract tourists and investment, and drive regional economic growth. One strategy to enhance a city’s image is to host cultural mega-events. This study focuses on Guimarães, one of the European Capitals of Culture of 2012, and adopts a marketing communication perspective to explore issues of city image. The objective of the study reported was to understand whether images of Guimarães improved after it hosted the cultural mega-event. To attain this goal, we compare the perceptions of residents who participated in the event (engaged participants) and attendees. Several significant findings are reported and their implications for event managers and public policy administrators are presented, along with the limitations of the study.

Sample surveys via electronic mail: a comprehensive perspective

Although postal questionnaires, personal interviewing, and telephone interviewing are the main methods of survey-based research, there is an increasing use of e-mail as a data collection medium. However, little, if any, published Western research in general and that of Turkish in particular have investigated e-mail survey technique from pure survey research perspective. Attempting to develop a framework to assess e-mail as a data collection mean, the purpose of this study is to explore e-mail-based questionnaire technique from complementary angles. To this goal, sample representativeness, data quality, response rates, and advantages and disadvantages of e-mail surveying are discussed.