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.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, 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 engineering abstract GUI models directly from the Java/Swing code.

Taking the "cross" out of cross-cultural transfer of management practice

Multi-national enterprises often attempt to replicate successful management practices in "foreign" environments. However, such practices may be ethnocentric because they fit the assumptions, behaviors, expectations, and values of the home cultural environment. Unless the underlying assumptions are shared, transfer to a differing environment may fail. Even if the focus is shifted from cultural differences to implementation, implementation approaches may also be criticized as ethnocentric for the same reasons. In this article, a non-ethnocentric model is expanded and used to test the portability of one management practice, performance appraisal, from the USA to Brazil. This "Test of Portability" may help managers understand which management practices are portable, and, perhaps even more valuable, provide a rationale for adaptation or rejection.

Social exclusion: practice and fear of exile (degredo) in Portuguese history

Vejo a sociedade portuguesa como sendo naturalmente inclusiva. Quero dizer que esta parece ser uma tendência mais forte do que, por exemplo, no meu país, nos Estados Unidos da América. Isto poderá explicar porque o degredo era eficaz e era muito temido. Dá para entender também os longos períodos de degredo em substituição de pena capital em Portugal. Segundo as estimativas do autor, pelo menos 50,000 portugueses foram deslocados para dentro e fora de Portugal continental entre 1550-1755. O número era muito significativo na segunda metade do século XVIII. O número dos degredados foi ainda maior no século XIX.

Recensão de: Adams, Roberts; Dominelli, Lena and Payne, Malcolm (Eds.), Social Work Futures: Crossing Boundaries, Transforming Practice, Hampshire, Palgrave, 2005.

Revista Lusófona de Ciências Sociais

Innovation for sustainable urban tourism: some thoughts on best practice

This paper examines a series of strategic initiatives that have been undertaken by Tourism Queensland (TQ), a State Tourism Organization in Australia, to develop tourism and in particular to develop networks in tourism destinations. This paper firstly examines the nature of sustainable urban tourism (SUT) and discusses approaches to defining it. It suggests that developing SUT requires a generic approach to improving sustainable tourism operations amongst all suppliers in an urban area. Further, this approach suggests that best practice in marketing and policy development can be adopted to attract tourists to a SUT destination and examples of this approach are provided.

Proof in classroom social practice

How does the construction of proof relate to the social practice developed in the mathematics classroom? This report addresses the role of diagrams in order to focus the complementarity of participation and reification in the process of constructing a proof and negotiating its meaning. The discussion is based on the analysis of the mathematical practice developed by a group of four 9th grade students and is inspired by the social theory of learning

Acompanhamento da construção de duas creches e ateliers de tempos livres

O presente relatório diz respeito ao estágio profissional realizado no âmbito do Trabalho Final de Mestrado do Curso de Engenharia Civil, do Instituto Superior de Engenharia de Lisboa (ISEL), e tem como principais objectivos descrever e analisar as actividades realizadas durante o acompanhamento da construção de duas creches e ateliers de tempos livres. Dentro das opções fornecidas pelo ISEL para Trabalhos Finais de Mestrado, o Estagiário foi em busca do estágio profissional, a fim de contactar directamente com a realidade profissional da Engenharia Civil, podendo assim, através do acompanhamento activo de obras, pôr em prática os conhecimentos teóricos e científicos adquiridos ao longo do curso e preparar-se para futuros desafios profissionais. O período de estágio teve uma duração de cerca de cinco meses, sendo o Estagiário acompanhado e auxiliado pelo seu Orientador da empresa (Director de Obra) em tarefas relacionadas com a Direcção da Obra, tais como: estudo do projecto de execução, planeamento da obra e reuniões com a Fiscalização e Subempreiteiros. O estágio dividiu-se em duas fases distintas: a primeira fase relativa a construção do Atelier de Tempos Livres da Kairós, em que a obra já estava numa fase inicial de acabamentos e que coincidiu com o princípio do estágio. Quanto à segunda fase, referente à obra de construção da Creche e Atelier de Tempos Livres dos Arrifes, em que o estagiário teve a oportunidade de acompanhá-la desde a consignação até a fase de execução da estrutura, coincidente com o término do estágio.

Innovation through virtual communities of Practice: motivation and constraints in the knowledge-creation process

Communities of Practice are places which provide a sound basis for organizational learning, enabling knowledge creation and acquisition thus improving organizational performance, leveraging innovation and consequently increasing competitively. Virtual Communities of Practice (VCoP‟s) can perform a central role in promoting communication and collaboration between members who are dispersed in both time and space. The ongoing case study, described here, aims to identify both the motivations and the constraints that members of an organization experience when taking part in the knowledge creating processes of the VCoP‟s to which they belong. Based on a literature review, we have identified several factors that influence such processes; they will be used to analyse the results of interviews carried out with the leaders of VCoP‟s in four multinationals. As future work, a questionnaire will be developed and administered to the other members of these VCoP‟s