A Generic Library for GUI Reasoning and Testing

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 presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

FATORES DETERMINANTES DA DIVULGAÇÃO DE INFORMAÇÃO SOBRE RISCO DE LIQUIDEZ: EVIDÊNCIA EMPÍRICA NO SISTEMA FINANCEIRO PORTUGUÊS

The objectives of this empirical study are, on the one hand, to evaluate the level of disclosure, about liquidity risk, practiced by fourteen banking institutions that operate in Portuguese financial system, and, on the other hand, to assess the determinants of that disclosure. To this end, we have used content analysis, as data collection technique, and have examined the information disclosed in the annual reports of the fourteen banks, for the period between 2007 and 2011. For this purpose we have constructed a disclosure index, based on the recommendations of the Basel Committee on Banking Supervision, and have defined a set of potentially explanatory variables related to the level of disclosure. The results demonstrated that size and financial year were the variables that showed up as statistically significant in explaining the level of disclosure.

A contribution to a virtual enterprise taxonomy

This paper presents a taxonomy able to contribute to building a framework within the domain of Virtual Enterprises (VE). A VE taxonomy currently does not exist, and this lack is felt in the ambiguous way that some concepts are addressed, leading to a fragment understanding that hinders the development of the science of VE integration and management. The structure of the taxonomy developed is based on the view of the system as a 5-tuple consisting of Input, Control, Output, Mechanism, and Process, which is the underlying system-view in the well-know IDEF0 diagramming technique. In particular, this taxonomy addresses the VE extended lifecycle that implies the use of a meta-organization called Market of Resources, as an original contribution to the VE theory and practice. The taxonomy presented is constructed in a way to be easily complemented with other VE partial taxonomies that may be found in literature.

A taxonomy for virtual enterprises

The purpose of this paper is to present a taxonomy able to contribute to building a framework within the domain of Virtual Enterprises (VE), to facilitate the sharing of knowledge and contributions to knowledge, as well as for trust building among VE stakeholders. A VE taxonomy currently does not exist, and this lack is felt in the ambiguous way that some concepts are addressed, leading to a fragment understanding that hinders the development of the science of VE integration and management. The structure of the taxonomy developed is based on the view of the system as a 5-tuple consisting of Input, Control, Output, Mechanism, and Process, which is the underlying system-view in the well-know IDEF0 diagramming technique. In particular, this taxonomy addresses the VE extended lifecycle that implies the use of a meta-organization called Market of Resources, as an original contribution to the VE theory and practice. The taxonomy presented does not repeat what the literature already includes, or the commonplaces, and it is constructed in a way to be easily complemented with other VE partial taxonomies that may be found in literature. Some suggestions for extensions to other interrelated domains (as evolution leaves taxonomies in an open or incompleteness state) are given in the text.