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.

Sigilo da Correspondência e Privatizações

Estamos desde logo a falar de Direitos Fundamentais. De direitos, liberdades e garantias, também, mas não apenas, nos termos do art. 18º da CRP. Numa altura em que o ex-agente da CIA-Central Intelligence Agency e da NSA-National Security Agency, Sr. Snowden, revelou que é possível existir, e que existiu em efectivo, acesso a toda a correspondência privada em vários países do mundo, senão mesmo em todos, nomeadamente aquela que é feita por via electrónica e informática, cumpre recordar algumas notas do ponto de vista dos Direitos Fundamentais e do Direito Constitucional. § We are immediately talking about fundamental rights. Rights, freedoms and guarantees, too, but not only, in accordance with art. 18 of CRP. At a time when former CIA agent-Central Intelligence Agency and the NSA-National Security Agency, Mr. Snowden has revealed that it is possible to exist, and has existed in effective, access to all private correspondence in countries around the world, if not in all, including one that is made by electronic and computerized means, it is recalled some notes from the point of view of fundamental rights and constitutional law.