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.

Economic evaluation of occupational safety preventive measures in a hospital

BACKGROUND: When an organization performs an integrated analysis of risks through its Occupational Health and Safety Management System, several steps are suggested to address the implications of the identified risks. Namely, the organization should make a detailed analysis of the monetary impact for the organization of each of the preventive measures considered. However, it is also important to perform an analysis of the impact of each measure on society (externalities). OBJECTIVE: The aim of this paper is to present a case study related to the application of the proposed economic evaluation methodology. METHODS: An analysis of the work accidents in a hospital has been made. Three of the major types of accidents have been selected: needle stings, falls and excessive strain. Following the risk assessment, some preventive measures have been designed. Subsequently, the Benefit/Cost ratio (B/C) of these measures has been calculated, both in financial terms (from the organization’s perspective) and in economic terms (including the benefits for the worker and for the Society). RESULTS: While the financial ratio is only advantageous in some cases, when the externalities are taken into account, the B/C ratio increases significantly. CONCLUSIONS: It is important to consider external benefits to make decisions concerning the implementation of preventive measures in Occupational Health and Safety projects