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.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Do we need a “new” international convention that helps to avoid trafficking in organs? Some “criminal (and civil) law aspects” - Convention on Human Rights and Biomedicine – updated or outdated?

Abstract: § 1 «Do we need a “new” international convention that helps to avoid trafficking in organs? Some criminal (and civil) law aspects”» - «Convention on Human Rights and Biomedicine – updated or outdated?». § 2 Some important connections: on the one hand, between the 1997 Council of Europe Convention on Human Rights and Biomedicine; the 2002 Additional Protocol to the Convention on Human Rights and Biomedicine concerning Transplantation of Organs and Tissues of Human Origin; and, on the other hand, the problem of trafficking in organs, tissues and cells and trafficking in human beings for the purpose of the removal organs. Some connections. § 3 The «international undisputed principle». § 4 Trafficking in organs, tissues and cells; and trafficking in human beings for the purpose of the removal organs. Criminal Law and Civil Law. § 5 Promote organ donation. § 6 The necessity to collect reliable data on both trafficking cases. § 7 The necessity for an internationally agreed definition of trafficking in OTC: Convention on Human Rights and Biomedicine – updated or outdated? § 8 The (inter)national and (il)legal organ («tissue and cell») trade: some cases and some conclusions. § 9 Do we need a new international convention to prevent trafficking in organs, tissues and cells (OTC)? § 10 Of course we need a «new» international convention to prevent trafficking in organs, tissues and cells (OTC). § 11 At the present moment, we do not need a «new» international convention to prevent trafficking in human beings for the purpose of the removal organs. § 12 The Portuguese case. § 13 «Final conclusions.» § Resumo: § 1 «Precisamos de uma "nova" convenção internacional que ajude a evitar o tráfico de órgãos? Alguns aspectos de lei criminal (e civil)» - «Convenção sobre Direitos Humanos e Biomedicina - Actualizada ou desactualizada?». § 2 Algumas conexões importantes: por um lado, entre a Convenção do Conselho da Europa de 1997 sobre Direitos Humanos e Biomedicina; o Protocolo Adicional de 2002 à Convenção sobre os Direitos do Homem e da Biomedicina relativo ao transplante de órgãos e tecidos de origem humana, e, por outro lado, o problema do tráfico de órgãos, tecidos e células e tráfico de seres humanos para fins de remoção dos órgãos. § 3 O «indiscutível princípio internacional». § 4 O Tráfico de órgãos, tecidos e células; e o tráfico de seres humanos para fins de remoção dos órgãos. Direito Penal e Direito Civil. § 5 Promover a doação de órgãos. § 6 A necessidade de colectar dados fidedignos sobre os dois casos de tráfico. § 7 A necessidade de uma definição internacionalmente acordada de tráfico de OTC: Convenção sobre Direitos Humanos e Biomedicina - actualizada ou desactualizada? § 8 A (inter)nacional e (il)legal comercialização de órgãos («de tecidos e de células»): alguns casos e algumas conclusões. § 9 Será que precisamos de uma nova convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC)? § 10 É claro que precisamos de uma «nova» convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC). § 11 No presente momento, não precisamos de uma «nova» convenção internacional para impedir o tráfico de seres humanos para fins de remoção dos órgãos. § 12 O caso Português. § 13 «As conclusões finais.»