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.

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.

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

A Caregiver Support Platform within the Scope of an Ambient Assisted Living Ecosystem

The Ambient Assisted Living (AAL) area is in constant evolution, providing new technologies to users and enhancing the level of security and comfort that is ensured by house platforms. The Ambient Assisted Living for All (AAL4ALL) project aims to develop a new AAL concept, supported on a unified ecosystem and certification process that enables a heterogeneous environment. The concepts of Intelligent Environments, Ambient Intelligence, and the foundations of the Ambient Assisted Living are all presented in the framework of this project. In this work, we consider a specific platform developed in the scope of AAL4ALL, called UserAccess. The architecture of the platform and its role within the overall AAL4ALL concept, the implementation of the platform, and the available interfaces are presented. In addition, its feasibility is validated through a series of tests.

Integration of management systems: towards a sustained success and development of organizations

Effective environmental management within companies, integrated with other management areas like quality and occupational health and safety, is nowadays assumed to be a strategic way to implement and improve lean and cleaner production. Also, sustainable development (SD) and business sustainability can be achieved through a better coordinated management of processes versus associated resources. This paper presents an in depth discussion regarding the promotion of integrated management systems, their benefits and major contribution towards the sustainable development of cleaner production related features. It addresses issues regarding the contributions resulting from the integration of standardized Management System (MS) from both internal and external perspectives. Complementing the overall review of aspects to the development of integrated management systems a survey was conducted in order to better understand the relevance of the identified success factors. The main findings in this paper are as follows: a contextualization model of sustainable development and integrated management systems considering the Triple Bottom Line: economic, social and environmental; and, a method and associated model to support the development of integrated management systems as well as general guidelines to support integration. It can be concluded that a proactive approach and commitment to cleaner production, supported by an integrated management system, brings relevant savings for organizations as well as providing value to the relevant interested parties.