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.

Ambient assisted living technology: comparative perspectives of users and caregivers

Developed societies are currently facing severe demographic changes: the world population is ageing at an unprecedented rate. This demographic trend will be also followed by an increase of people with physical limitations. New challenges are being raised to the traditional health care systems, not only in Portugal, but also in all other European states. There is an urgent need to find solutions that allow extending the time people can live in their preferred environment by increasing their autonomy, self-confidence and mobility. AAL4ALL is a project currently being developed in cooperation with 34 Portuguese interdisciplinary partners, from industry to academia, R&D and social disciplines, which employs a novel conceptual approach through the development of an ecosystem of products and services for Ambient Assisted Living (AAL) associated to a business model and validated through large scale trial. This paper presents a comparative perspective of the needs and attitudes towards technology of the AAL users and caregivers identified in the analysis of a set of three different surveys: a users survey targeted at the Portuguese seniors and pre-seniors; an informal caregivers survey targeted at the family, friends and neighbours who provide care without any financial compensation; and a formal caregivers survey targeted at physicians, nurses,psychologists, social workers, and direct-care workers providing care to elders. The first results indicate that AAL solutions must be affordable,user friendly and have a true perceived benefit to their users.

Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing

A manutençâo e evolução de sistemas interactivos, mantendo um elevado n´ıvel de usabilidade, dá origem a problemas importantes que afectam a eficiência e eficácia dos sistemas. Pelas suas caracteristicas este tipo de sistema é bastante vulnerável aquando da execução de alterações. As metodologias e técnicas actuais n˜ao abordam de forma satisfatória estes processos. Neste trabalho pretende-se combinar a programação funcional com programação estratégica, code slicing e modelos com semântica formal na tentativa de fortalecer a tese de que a aplicação destas metodologias e tecnologias no processo de engenharia reversa de sistemas interactivos permite melhorar significativamente o grau de flexibilidade e suporte à manutenção e evolução do sistema.

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

An interactive state monad example

A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations

Tribunal Constitucional: hora de cortar nas PPP’s, contratos futuros-swap…

Veja-se aliás a recente indagação formal da Procuradoria-Geral da República junto do Governo para colocar, se necessário for, em Tribunal, todos os contratos futuros swap. A maior parte dos quais com fortes prejuízos para o Estado português. Vide art.s 227º, 334º, 437º, 762º, entre outros, do Código Civil português. Abstract: See moreover the recent formal inquiry of the Attorney General's Office with the Government to place, if necessary, in court, all future swaps. Most of them with heavy losses to the Portuguese State. See art.s 227, 334, 437, 762º, among others, the Portuguese Civil Code.

Cuidado com bicos-de-pé em face da Constituição

Nas palavras de Canotilho/Moreira, o regime político português é um Estado-de-partidos, os quais foram elevados à Constituição formal. São expressão da vontade popular (10º/2). São um direito fundamental constitucional. Participar ou fundar um partido é um direito, liberdade e garantia (art. 51º). Participam nos órgãos com base no sufrágio universal e directo. Mas são mediadores pois o poder político é do Povo (art. 108º)! São os partidos que formam a vontade de órgãos como o Governo! Os partidos têm direito a apresentar candidatos aos órgãos; e têm o direito de obter mandatos de acordo com os resultados eleitorais e o método proporcional (art. 113º/5 e 152º/1)… E às Forças Armadas incumbe a defesa militar da República: art. 275º/1 CRP… § In the words of Canotilho / Moreira, the Portuguese political system is a state-parties, which were elevated to the formal Constitution. They are an expression of popular will (10/2). Is a constitutional fundamental right. Participate or found a party is a right, freedom and guarantee (art. 51). Participate in organs based on direct and universal suffrage. But are mediators because political power is the people (art. 108)! Are the parties that form the will of organs such as the Government! The parties are entitled to nominate candidates to the organs; and have the right to obtain mandates in accordance with the election results and the proportional method (Article 113/5 and 152/1.) ... and the Armed Forces have the responsibility for the military defense of the Republic: art. 275/1 CRP ...

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.